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