\begin{definition}[Definition:Refinement of Normal Series/Proper Refinement]
A '''proper refinement''' of a normal series is a refinement which is not equal to the original normal series.
That is, it contains extra (normal) subgroups which are not present in the original normal series.
\end{definition}