Aufsteigende Kettenbedingung (ACC)

Eine Eigenschaft einer partiell geordneten Menge oder einer Klasse von Teilobjekten, die besagt, dass jede aufsteigende Kette 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 wachsende Folge. Wird häufig für Ideale, Untermoduln oder Unterobjekte verwendet.