Axiom:Axiom of the Empty Set

There exists a set that has no elements.

$$\exists x: \forall y: \left({\lnot \left({y \in x}\right)}\right)$$

It is often alternatively defined as the Axiom of the Empty Set.