Gruppe/Operation/Fundamentalbereich/Untergruppe/Aufgabe

Es sei eine Gruppe, die auf einer Menge operiert und sei ein Fundamentalbereich für diese Operation. Es sei eine Untergruppe und sei ein Repräsentantensystem für die Nebenklassen . Zeige, dass

ein Fundamentalbereich der auf eingeschränkten Operation auf ist.