Equivalence of Formulations of Axiom of Empty Set

Theorem
The following formulations of the Axiom of the Empty Set are equivalent: