A を環、E を Spec(A) の部分集合とする。
E に属すすべての素イデアルの共通部分を I(E) と書く。

I を A のイデアルとすると、 I(V(I)) = rad(I) となる(>>164)。
I = rad(I) となるイデアルを根基イデアルという。

Spec(A) の閉部分集合の集合と A の根基イデアルの集合は
F に I(F) を対応させることにより１対１に対応する。