axiom of pairing

\begin{align*} \forall x \forall y \exists z \forall u(u \in z \Leftrightarrow u = x \lor u = y) \end{align*}