命題
有限な一般Boole代数(過去スレ021の373)はBoole代数(過去スレ021の336)である。

証明
X を有限な一般Boole代数とする。
X は束であるから sup X が存在する。
sup X は X の最大元であるから X はBoole代数である。
証明終