Es sei S {\displaystyle {}S} eine Menge und
Zeige, dass G {\displaystyle {}G} mit der Hintereinanderschaltung von Abbildungen eine Gruppe ist.