定義
X をStone空間(>>248)とする。
X の開かつ閉集合全体を S(X) とおく。
>>249より、S(X) は X 上の集合代数(過去スレ007の196)である。
従って S(X) は包含関係に関してBoole代数(過去スレ007の336)と見なされる。
このとき S(X) を X の双対代数(dual algebra)または単に双対(dual)と言う。