定義
A を一般Boole代数(過去スレ021の373)とする。
I を A のイデアルとする。
>>44より A は一般Boole環(過去スレ021の336)と見なせる。
>>107より I は A の環としてのイデアルである。
このとき、>>11より A/I は一般Boole環である。
よって、>>44より A/I は一般Boole代数と見なせる。
このとき、A/I を A の I による剰余代数と言う。