Análogamente, podemos definir un monomorfismo formula_230 de formula_201 en formula_19 con imagen formula_233.