Se define la unión de formula_2 con formula_4, denotada por formula_7 (que se lee A unión B), por el conjunto