Más formalmente, sean formula_1 y formula_2 dos conjuntos.