The Jordan–Hölder theorem also holds in the context of operator groups. The requirement that a group have a composition series is analogous to that of compactness in topology, and can sometimes be too strong a requirement.
The Jordan–Hölder theorem's requirement for a group to have a composition series is analogous to the notion of compactness in topology. However, this can sometimes be overly restrictive.