Es sei G {\displaystyle {}G} eine Gruppe und H ⊆ G {\displaystyle {}H\subseteq G} eine Untergruppe. Wir setzen x ∼ H y {\displaystyle {}x\sim _{H}y} (und sagen, dass x {\displaystyle {}x} und y {\displaystyle {}y} äquivalent sind) wenn x − 1 y ∈ H {\displaystyle {}x^{-1}y\in H} .
