empty set

Start with the empty set. We define it as “the set of all objects not equal to themselves,” since there are no such objects. All empty sets have the same members—no members at all!…

The existence of the empty set is entailed, in the presence of the axiom scheme of separation, by the existence of any set whatever.