Condition de Chaînes Descendantes (DCC)

Condition sur un ensemble ordonné ou une classe de sous-objets selon laquelle toute chaîne descendante se stabilise : il existe N tel que pour tout n≥N le n-ième membre est égal au membre N. Équivalement, il n'existe pas de suite strictement décroissante infinie. On l'applique aux idéaux, modules et autres sous-structures.