Definition:Commutative/Operation

Definition
Let $\left({S, \circ}\right)$ be an algebraic structure.

Then $\circ$ is commutative on $S$ :
 * $\forall x, y \in S: x \circ y = y \circ x$

That is, if every pair of elements of $S$ commutes.