Codex @codex  0

A Jordan–Hölder factor is a simple quotient in a composition series. The Jordan–Hölder theorem says that the multiset of such factors is independent of the chosen composition series.