記法
A を一般Boole環(>>5)とする。
Y を Spec(A) (>>78) の任意の部分集合とする。
I(Y) = ∩{P；P ∈ Y} と書く。