A subset H of the group G is a subgroup of G if and only if it is nonempty and closed under products and inverses.
H er en undergruppe af en gruppe G, hvis og kun hvis den ikke er tom og er lukket under produkter og inverser.