Definition:Ascending Chain Condition

Definition
Let $\struct {P, \leq}$ be an ordered set.

Then $S$ is said to have the ascending chain condition (ACC) every increasing sequence $x_1 \leq x_2 \leq x_3 \leq \cdots$ with $x_i \in P$ eventually terminates: there is $n \in \N$ such that $x_n = x_{n + 1} = \cdots$.

Also see

 * Definition:Well-Founded Relation


 * Definition:Descending Chain Condition
 * Increasing Sequence in Ordered Set Terminates iff Maximal Element