>>802の修正

定義
X を一般Stone空間(>>440)とする。
X のコンパクトな開集合全体を S(X) とおく。
>>430より、S(X) は X の集合環(過去スレ007の189)である。
従って S(X) は包含関係に関して一般Boole代数(過去スレ021の373)である。
Φ を S(X) のフィルター(過去スレ021の527)とする。
F = ∩{V；V ∈ Φ} は X のコンパクト集合である。
F を Φ の双対コンパクト集合(dual compact subset)または単に双対(dual)と言う。