the theorem that for any two composition series of a group, an isomorphism exists between the corresponding quotient groups of each series, taken in some specified order.
Origin of Jordan-Hölder theorem
after M.E.C. Jordan and German mathematician Ludwig Otto Hölder (1859-1937)