命題
X を束(過去スレ021の156)とする。
I を X のイデアル(過去スレ021の139)とする。
I ≠ X で a∧b ∈ I ⇒ a ∈ I または b ∈ I となるとき I を素イデアル(prime ideal)と言う。