Sea la función formula_16 de un conjunto formula_1 en otro formula_2;