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