Axiom. regularity
¬A = ∅ → ∃x. x ∈ A ∧ x ∩ A = ∅