Regularitätsaxiom (Zermelo-Fraenkel)

\begin{align*} \forall x(x \neq \emptyset \Rightarrow \exists y(y \in x \ladn y \cap x = \emptyset)) \end{align*}