En particular esto quiere decir que no vamos a quitar elementos de formula_3 para obtener formula_1, ni a identificar elementos mediante relación de equivalencia alguna, ni a añadir a formula_3 ningún nuevo elemento.