descending chain condition
A partially ordered set (for example, a collection
of subsets of a set , ordered by inclusion) satisfies the descending chain condition
or DCC if there does not exist an infinite descending chain of elements of .
See also the ascending chain condition (ACC).