定義
X を束(過去スレ021の156)とする。
a を X の元とする。
単項イデアル↓a (過去スレ021の521)が素イデアル(>>100)であるとき
a は∧素元(meet-prime element)であるという。