Definition:Commutative/Operation

Definition
Let $\circ$ be a binary operation.

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$ commute.