定義
S を順序集合とする。
(1) S の空でない任意の部分集合が極大元を持つとき S は極大条件を満たすと言う。
(2) S の空でない任意の部分集合が極小元を持つとき S は極小条件を満たすと言う。