se dice que es un semigrupo conmutativo o abeliano.