Noetherian Module Definition

A module whose every submodule is finitely generated; or equivalently, a module whose submodules satisfy an ascending chain condition (i.e., any ascending chain of submodules levels off after a finite number of steps).

Alternative form of Noetherian module.