Sean formula_2 un anillo (conmutativo y con identidad) y formula_145 un subconjunto de formula_59 Supongamos que formula_147 y que formula_53 denota a un ideal que contienen a formula_149 Cualquier producto de un elemento de formula_2 por un elemento de formula_145 debe ser elemento de formula_56 en particular, sus opuestos aditivos.