定義
A を単位元を持つ可換環とする。
A の素イデアル全体の集合をSpec(A)と書く(過去スレ001の81)。
S を A の部分集合とする。
V(S) = {P ∈ Spec(A)； S ⊂ P} と書く。
D(S) = Spec(A) - V(S) と書く。