# descending chain condition

A partially ordered set $S$ (for example, a collection of subsets of a set $X$, ordered by inclusion) satisfies the or DCC if there does not exist an infinite descending chain $s_{1}>s_{2}>\cdots$ of elements of $S$.