定義
A をBoole代数(過去スレ021の336)とする。
A の指標空間(>>304)を A＾とする。
>>247と>>301より、A＾はStone空間(>>248)である。
A＾を A の双対空間(dual space)または単に双対(dual)と言う。