定義
A を一般Boole代数(過去スレ021の373)とする。
A の空でない部分集合 B が次の条件を満たすとき、
B を A の部分環と言う。

(1) a, b ∈ B のとき a∨b ∈ B

(2) a, b ∈ B のとき a＼b (>>21) ∈ B