Condición de Cadenas Descendentes (DCC)

Condición sobre un conjunto ordenado o una clase de subobjetos que exige que toda cadena descendente se estabilice: existe N tal que para todo n≥N el n-ésimo miembro coincide con el miembro N. Equivalente: no existen sucesiones estrictamente decrecientes infinitas. Se aplica comúnmente a ideales, módulos y otras subestructuras.