correspondientes funciones identidad son un neutro por derecha o izquierda