定義
S を順序集合とする。
N = {1、2、．．．} を自然数全体の集合とする。
次の条件(DCC)を降鎖律(descending chain condition)と言う。

(DCC) f：N → S を任意の単調減少写像(>>227)とするとき f(N) は有限集合である。