\begin{definition}[Definition:Commutative Semigroup]
Let $\struct {S, \circ}$ be a semigroup such that the operation $\circ$ is a commutative operation.
Then $\struct {S, \circ}$ is a '''commutative semigroup'''.
\end{definition}