Equivalence of Formulations of Axiom of Unions

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