ondergroep (wiskunde)

In de groepentheorie verstaat men onder een ondergroep of deelgroep van een gegeven groep G met binaire operatie *, een deelverzameling van G die zelf ook een groep is onder de operatie *.