Sean formula_1 e formula_2 dos conjuntos y considérese una función formula_16.