Die Restklassengruppe ist die Quotientenmenge G / ∼ H {\displaystyle {}G/\sim _{H}} mit der eindeutig bestimmten Gruppenstruktur.
