The empty set is the set containing no elements. #m/def/set
In 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 .