命題
X を束(過去スレ021の156)とする。
I と J を X のイデアル(過去スレ021の527)とする。
I∨J = {x ∈ X； x ≦ a∨b となる a ∈ I、b ∈ J がある} とおく。
I∨J は I と J を含む最小のイデアルである。

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