Let $R$ be a ring and let $M$ be an $R$-module. We say that $M$ is of finite length if it admits a composition series of finite length.
Wikidata ID: Q1761084