Sea formula_3 un anillo y formula_2 un subanillo de formula_12 Sea formula_181 tal que formula_182 Claramente, formula_86 es un homomorfismo inyectivo de anillos, que llamamos el monomorfismo inducido por la inclusión.