Sean formula_1 y formula_2 dos conjuntos, formula_133 una aplicación de formula_1 en formula_2, y sea formula_129.