記法
A を単位元を持つ可換環とする。
Y を Spec(A) (>>222) の任意の部分集合とする。
I(Y) = ∩{P；P ∈ Y} と書く。