Decir que un elemento "a" en (M,*) es cancelativo izquierdo, es decir que la función "g": "x" |-> "a"*"x" es inyectiva, luego un monomorfismo conjuntista pero como es endomorfismo conjuntista, es sección conjuntista, i.e.