Ascending chain condition (source code)

= Ascending chain condition
{wiki}

The ascending chain condition requires every chain
$$
I_1\subseteq I_2\subseteq\cdots
$$
of ideals to stabilize. A ring is Noetherian exactly when it satisfies this condition, equivalently when every ideal is finitely generated.