La primera consecuencia es que ya podemos asegurar que existe la unión de dos conjuntos cualesquiera.