Definition:Composition Series

Definition
Let $G$ be a finite group.

A composition series for $G$ is a normal series for $G$ which has no proper refinement.