位相空間とその部分集合について、のにおける閉包をと表記する。Mathpediaにおいては原則としてコンパクト性にHausdorff性を要請しないが、この記事においては準コンパクトという用語によってコンパクト性を指すものとする。これは代数幾何学における一般的な語法である。
位相空間がspectral spaceであるとは、以下の条件を満たすことを言う。
- 既約な閉集合について、ただひとつの点が存在して、が成り立つ;
- 準コンパクトである;
- 準コンパクトな開集合,について、は準コンパクトである;
- 準コンパクトな開集合からなる開基が存在する。
Spectral spaceについて、位相空間の射がspectralであるとは、任意のの準コンパクトな開集合についてが準コンパクトであることをいう。
以下の結果はHochsterによる。
可換環のスペクトラム()として現れる位相空間のクラスが、ちょうどspectral spaceのクラスと一致する。