命題
X を束(過去スレ021の156)とする。
I と J を X のイデアル(過去スレ021の527)とする。
I ∩ J は X のイデアルである。

証明
x ∈ I、y ∈ J のとき x∧y ∈ I ∩ J である。
よって、I ∩ J は空でない。
よって、I ∩ J は X のイデアルである。
証明終