Equivalence of Formulations of Axiom of Unions

Theorem
In the context of class theory, the following formulations of the axiom of unions are equivalent: