Claramente, f es la identidad (como función) que es el neutro del grupo.