Union Axiom

$\forall x\exists y\forall z(z\in y\leftrightarrow \exists w\in x(z\in w))$

• There is a union set that flattens all elements of $x$.