Las fórmulas ("ab") = "b" "a" y ("a") = "a" demuestran que η es un homomorfismo de grupo que es su propio inverso.