Y se considera la unión de conjuntos de la colección anterior, que por la propia de definición de la colección formula_3 se tiene que: