El Axioma de la Unión nos dice lo siguiente: dado un conjunto formula_1, existe un conjunto formula_2 de manera que si formula_3 y formula_4, entonces formula_5.