Sean formula_1 y formula_2 dos anillos unitarios, y formula_3 un homomorfismo entre anillos unitarios (es decir, un homomorfismo de anillos de manera que formula_4).