Para indicar que formula_3 es una función de un conjunto formula_1 en otro formula_2, es común escribir formula_16.