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! Therefore, as sets they're identical, by definition of identity of sets. In other words, there's only one empty set. This unique empty set is our building block. Next comes the set whose only member is—the empty set. This set is not empty.