命題
X を上半束(過去スレ021の115)とする。
I(X) を X のイデアル(過去スレ021の527)全体とする。
I(X) は包含関係に関して上半束となる。

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