Free, open-source online mathematics for students, teachers and workers

Axiom of Union (AUn)

$$\forall x\exists y\forall z(z \in y \longleftrightarrow \exists u(u \in x \wedge z \in u))$$