Abgeschlossenheit: Hintereinanderausführung zweier Permutationen
ist wieder eine Permutation.
Assoziativität: Gilt bei Hintereinanderausführung von
Abbildungen immer.
neutrales El ist die identische Permutation, alle Elemnete
bleiben fest.
Ist die Umkehrabbildung zu einer Permutation und die
existiert immer, weil eine Permutation bijektiv ist.