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.
Daca H este subgrup al lui G, atunci G este uneori denumit supergrup al lui H. Aceleași definiții se aplică mai general când G este un semigrup arbitrar, dar acest articol tratează doar subgrupurile unor grupuri.