Sean dos conjuntos formula_1 e formula_2, y sea formula_16 una función de formula_1 en formula_2.