Sean formula_1, formula_2 y formula_17 conjuntos cualesquiera.