Axiom of empty set

\begin{align*} \exists y\forall x\left(x \not\in y) \end{align*}