Foundation Axiom

$\forall x[x\ne \varnothing \to \exists y\in x(x\cap y=\varnothing )]$

• Every nonempty set has a minimal element under $\in$.