Es sei ${\displaystyle {}S}$ eine Menge und

${\displaystyle {}G={\left\{F:S\rightarrow S\mid F{\text{ bijektiv}}\right\}}\,.}$

Zeige, dass ${\displaystyle {}G}$ mit der Hintereinanderschaltung von Abbildungen eine Gruppe