素数（順序理論）

数学において、半順序(P, ≤)の元p は、 p が主素イデアルの主元である場合に、ミート素元と呼ばれます。同様に、P が格子である場合、p ≠ top であり、P内のすべてのa、bに対して、

a ∧ b ≤ p はa ≤ pまたはb ≤ pを意味します。

• 参加して会う

• ローマン、スティーブン（2008）、格子と順序集合、ニューヨーク：シュプリンガー、p. 50、ISBN 978-0-387-78900-2、MR  2446182。