定義
A を一般Boole代数(過去スレ021の373)とする。
S を A の任意の部分集合とする。
>>599より、S を含む A の部分環(>>592) B で最小のものが存在する。
B を S で生成される部分環と言う。