Sea formula_1 un anillo (conmutativo y unitario) y formula_2 un subconjunto multiplicativamente cerrado de formula_1.