Set Empty set The empty set ∅ is the set containing no elements. set In ZF its existence is guaranteed by the Emptyset Axiom, and by the Axiom of Extensionality, it is unique. Additionally by vacuity it is a Subset of every set including itself. It is the initial object in Category of sets. develop | en | SemBr