Equivalence of Formulations of Axiom of Empty Set

Theorem
The following formulations of the  are equivalent: