Este monoide satisface la propiedad cancelativa y por lo tanto puede incluirse en un grupo matemático.