The empty set is the set $\text{Ø}$ defined by
\[ \text{Ø}\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ x\in X\ \middle |\ x\neq x\webright\} , \]
where $X$ is the set in the set existence axiom, 
of .
