命題
A を一般Boole代数(過去スレ021の373)とする。
A の指標空間(>>448)を A＾とする。
A＾は一般Stone空間(>>440)である。

証明
>>44より A は一般Boole環(>>6)と見なせる。
>>459より、Spec(A) (>>78)は一般Stone空間である。
よって、>>450より、A＾は一般Stone空間である。
証明終