Ideal Saturation

Process of enlarging or modifying an ideal relative to a multiplicative set or power so that elements that become invertible in the localization are removed from the quotient picture; concretely, the saturation of I with respect to S is {x | ∃ s∈S with s x ∈ I}.