命題
A を一般Boole代数(過去スレ021の373)とする。
S を A の任意の部分集合とする。
B を S で生成される部分環(>>600)とする。

S が空集合のとき B = {0} である。
S が空集合でないとき S は次の形の元全体である。

(p_1)△．．．△(p_n)

ここで、各 p_k は a_(k, 1)∧．．．∧a_(k, k_m)、a_(k, i) ∈ S の形の元である。

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