命題
A をBoole代数(過去スレ021の336)とする。
I を A のイデアル(過去スレ021の527)とする。
このとき、剰余代数 A/I (>>833)はBoole代数である。

証明
A/I は環として単位元をもつからBoole代数である。
証明終