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