Equivalence of Formulations of Axiom of Unions

Theorem
In the context of class theory, the following formulations of the Axiom of Unions are equivalent: