La función estará bien definida, ya que si formula_117 se tendría que formula_118 Además formula_119 y formula_120 Es decir, formula_54 es un formula_1-morfismo.