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).