A module that fulfils the descending chain condition with respect to inclusion, i.e., if every decreasing sequence of submodules eventually become constant.

Artinian ring | descending chain condition | module length | Noetherian module