Tenemos también que si formula_1 e formula_2 son dos conjuntos, y si formula_16 es cualquier función de formula_1 en formula_2, entonces formula_55, y así formula_56.