Kombinasjonen av to element i en undergruppe av en annen gruppe gir alltid et element i samme undergruppe . Det betyr at hvis man multipliserer hvert element i med et et annet element i som ikke tilhører , vil denne multiplikasjonen gi en mengde med forskjellige element. Da en undergruppe alltid inneholder enhetselementet, vil elementet tilhøre mengden . Denne mengden kalles en eller til delgruppen .