Commutative Semigroup

A Semigroup $(S,\cdot)$ is commutative when $\cdot$ is a Commutative Operation.