cioe' lo spazio funzionale delle funzioni su un insieme.
esof: Spazio funzionale delle funzioni da un insieme ad un altro, solo che dominio e codominio coincidono.
Teo: le endofunzioni sono un semigruppo dotato di unita'.
Le endobiiezioni sono un gruppo.
e' la funzione Identita' I:X→X I(x):=x
l'inverso di una funzione f deve essere una funzione g tale che:
g∘f = I e f∘g = I
Teo: l'elemento inverso di una endofun, rispetto alla composizione di fun, esiste se e solo se la fun e' biiettiva.
dim: Funzione inversa (di una funzione).
Symmetric group. Gruppo delle permutazioni.
Le traslazioni di gruppo sono un gruppo