>>155の修正

定義
X を束(過去スレ021の156)とする。
a を X の元とする。
単項フィルター↑a (過去スレ021の521)が素フィルター(>>97)であるとき
a は∨素元(join-prime element)であるという。