>>719の修正

命題
X をStone空間(>>248)とする。
X の開かつ閉な部分集合全体を Φ とする。
>>249より Φ は X 上の集合代数(過去スレ007の196)である。
このとき Φ は被約(>>670)かつ完全(>>690)である。

証明
>>676と>>718による。