Eine Teilmenge $H\subseteq G$ ist Untergruppe, wenn $H$ mit derselben Verknüpfung selbst eine Gruppe ist.
Kriterium: $H\neq\emptyset$ und für alle $a,b\in H$ gilt $ab^{-1}\in H$.