Axiom:Axiom of Unions

Also see

 * Equivalence of Formulations of Axiom of Unions