Sei (G;⋄) eine Gruppe und U eine Untergruppe von (G;⋄). Für alle x ∈ G heißt U⋄x die Rechtsrestklasse von x nach U

(U⋄x := U⋄{x} = {u⋄x | u ∈ U} )