Qual das seguintes afirmações é verdadeira em relação a semigrupos cancelativos e não-cancelativos?

Vamos analisar as afirmações: A) Em um semigrupo cancelativo, a operação é comutativa. B) Em um semigrupo cancelativo, a operação é associativa. C) Em um semigrupo não-cancelativo, a operação é comutativa. D) Em um semigrupo não-cancelativo, a operação é associativa. A afirmação correta é a letra B) Em um semigrupo cancelativo, a operação é associativa.