定義（代数的整数論021の179）
X を順序集合とする。
X の元 a は x ＜ a となる x ∈ X が存在しないとき X の極小元と言う。