 A binary operation is called commutative when it satisfies \(f(x, y) = f(y, x)\) for all \(x, y\) in \(X\). A commutative semigroup is a semigroup whose operation is commutative. All the examples so far have been of noncommutative semigroups. The following illustrate the commutative case.