定義（代数的整数論021の397）
S を順序集合とする。
(1) S の空でない任意の部分集合が極大元（>>76）を持つとき S は極大条件を満たすと言う。
(2) S の空でない任意の部分集合が極小元（>>77）を持つとき S は極小条件を満たすと言う。