命題
X を一般Boole代数(過去スレ021の373)とする。
X は対称差(>>22) Δ を加法とし、交わり∧を乗法とすることにより一般Boole環(>>5)となる。

証明
a, b, c ∈ X とする。
区間 [0, a∨b∨c] はBoole代数(過去スレ021の336)である。
よって>>18より本命題が得られる。
証明終