axiom of union

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