Saturación del Ideal

Proceso de agrandar o modificar un ideal respecto a un conjunto multiplicativo o potencia de modo que los elementos que se vuelven invertibles en la localización sean eliminados de la descripción del cociente; concretamente, la saturación de I respecto a S es {x | ∃ s∈S con s x ∈ I}.