Definition:Ascending Chain Condition/Module

Definition
Let $A$ be a commutative ring with unity.

Let $M$ be an $A$-module.

Let $\left({D, \subseteq}\right)$ be a set of submodules of $M$ ordered by inclusion.

Then the hypothesis:


 * Every increasing sequence $N_1 \subseteq N_2 \subseteq N_3 \subseteq \cdots$ with $N_i \in D$ eventually terminates: $\exists k \in \N: \forall n \in \N, n \ge k: N_n = N_{n+1}$

is called the ascending chain condition on the submodules in $D$.