定義
X を束(過去スレ021の156)とする。
任意の a ∈ X に対して
V(a) = {P ∈ Spec(X) (>>178)； a ∈ P}
D(a) = Spec(X) - V(a)
とおく。