Commutativity

A set $X$ with a binary operator $\cdot: X \times X \to X$ is commutative if $\forall a, b \in X, a \cdot b = b \cdot a.$