\forall x (x=\oslash \lor \forall y (y \in x \land \neg \exists z (z \in x \land z \in y)))