noun Mathematics. 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.