Membership and cardinality of sets