Definition:Composition Series/Composition Length

Theorem
Let $G$ be a group. Let $\HH$ be a composition series for $G$.

The composition length of $G$ is the length of $\HH$.

Also see

 * Jordan-Hölder Theorem: the composition length of a group is well-defined.