石空間

令 為 的所有素理想的集合，並定義 。則 的石空間是在 上定義的拓撲空間，透過假定形如 的集合是開集的一個子基來定義。