Definition:Commutative Semigroup

Definition
Let $\struct {S, \circ}$ be a semigroup such that the operation $\circ$ is a commutative operation.

Then $\struct {S, \circ}$ is a commutative semigroup.

Also known as
Some authors refer to a commutative semigroup as an abelian semigroup.

However, the term abelian is usually reserved for commutative groups.

Also see

 * Definition:Commutative Magma
 * Definition:Commutative Monoid
 * Definition:Abelian Group