命題
X を一般Stone空間(>>440)とする。
X のコンパクトな開集合全体を S(X) とおく。
>>430より、S(X) は X の集合環(過去スレ007の189)である。
従って S(X) は包含関係に関して一般Boole代数(過去スレ021の373)である。
U を X の開集合とする。
I = {V ∈ S(X)； V ⊂ U} とおく。
このとき I は S(X) のイデアル(過去スレ021の527)である。

証明
φ ∈ I であるから I は空でないことに注意すればよい。