Ahora, además, podemos ver que se tiene un elemento neutro "e"("t") = "x" (una aplicación constante) y que cada lazo tiene un lazo inverso.