Recordemos que cuando un homomorfismo formula_1 es un supramorfismo, entonces decimos que formula_2 es una imagen homomórfica de formula_3 .