Saturación de Ideales

Dado un ideal I y un elemento o ideal J en un anillo R, la saturación I : J^∞ = { f ∈ R | ∃ n con J^n f ⊆ I } (comúnmente I : f^∞ cuando J = (f)) elimina las componentes de V(I) contenidas en V(J) y produce un ideal cuyo conjunto de ceros es V(I) menos la parte soportada dentro de V(J).