Sea formula_1 un Anillo conmutativo y sea formula_2 un ideal del anillo.