Indeholder ikke som normal undergruppe og er ikke lig med

H er ikke en normal undergruppe af G, og G ≠ H.

G og H står for grupper. En undergruppe er en mindre gruppe inde i en større; den er normal, når multiplikation med det samme element fra den større gruppe til venstre eller højre giver den samme mængde. Bytter man om på G og H, ændres påstanden.