The Schreier Refinement Theorem states that any two subnormal series for a group have equivalent refinements. Here, two subnormal series are considered equivalent if they have the same factors (up to isomorphism), not necessarily in the same order.
20E15 (Group theory and generalizations :: Structure and classification of infinite or finite groups :: Chains and lattices of subgroups, subnormal subgroups)