命題
A を一般Boole代数(過去スレ021の373)とする。
B を A の任意の部分環(>>592)とする。
このとき、以下が成り立つ。

(1) 0 ∈ B

(2) a, b ∈ B のとき a∧b ∈ B

証明
>>595より明らかである。