Absteigende Kettenbedingung (DCC)

Eine Bedingung an eine geordnete Menge oder Klasse von Teilobjekten, dass jede absteigende Kette schließlich stabilisiert: Es existiert N, sodass für alle n≥N das n-te Glied gleich dem N-ten ist. Äquivalent: Es gibt keine unendliche strikt abnehmende Folge. Häufig angewandt auf Ideale, Module und andere Unterstrukturen.