位相空間としてのSpec(ℤ)

Spec(ℤ)の位相は、以下のD(f)の形の開集合によって生成される:

D(f) := { P∈Spec(ℤ) | f∉P } ( f∈ℤ )