定義
X を順序集合とする。
X の元 a は a ＜ x となる x ∈ X が存在しないとき X の極大元と言う。