If H is a subgroup of G, then G is sometimes called an overgroup of H. The same definitions apply more generally when G is an arbitrary semigroup, but this article will only deal with subgroups of groups.
Hvis H er en undergruppe af G, kaldes G af og til en overgruppe af H. De samme definitioner gælder mere generelt, når G er en arbitrær semigruppe, men denne artikel vil kun omhandle undergrupper af grupper.