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

証明
>>114と>>143より明らかである。