ich kann mir bei diesem Beispiel nicht vorstellen, was S(X) macht. X ist die Menge. f:X->X ist das dann nicht immer eine identische Abbildung?? Weil f ist ja bijektiv.Was sagt S(X) jetzt aus?
und verknüpft man dann verschiedene Funktionen f von der Menge X? Stellt S(X) die Menge aller Funktionen von X dar? dann kann f folglich nicht die identische Abbildung sein?