Decimos que formula_233 es el homomorfismo inducido por formula_238