<-- Go Back Last Updated: 11/01/2025
The empty set \(\emptyset\) is a set which contains no elements; \(\forall x:x\not\in\emptyset\). The axiom of the empty set, one of the axioms of Zermelo-Fraenkel set theory, asserts the existence of such a set. By the axiom of extensionality the empty set is unique, and by definition is a subset of every set.