定義
X をStone空間(>>248)とする。
X の開かつ閉な部分集合全体を S(X) とする。
>>249より S(X) は包含関係に関してBoole代数である。
Φ を S(X) のフィルター(過去スレ021の527)とする。
F = ∩{V；V ∈ Φ} は X の閉集合である。
F を Φ の双対閉集合(dual closed set)または単に双対(dual)と言う。