定義
X を上半束(過去スレ021の115)とする。
A を X の空でない部分集合とする。
>>130より A を含む最小のイデアル I が存在する。
I を A で生成されるイデアルと言い、I = (A] と書く。