axiom of infinity

\begin{align*} \exists x( \in x \land \forall y(y \in x \Rightarrow y \cup {y} \in x)) \end{align*}