 It also seems reasonable to suppose that there are things which are not sets, but which are capable of being members of sets (such objects are often called atoms or urelements). These objects will have no elements (like the empty set) but will be distinct from one another and from the empty set. This suggests the alternative weaker axiom of extensionality (perhaps actually closer to common sense),