定義
X を上半束(過去スレ021の115)とする。
I と J を X のイデアル(過去スレ021の527)とする。
I∪J で生成されるイデアル(>>132)を I∨J と書く。
>>139より I∨J = {x ∈ X； x ≦ a∨b となる a ∈ I、b ∈ J がある} である。