**Definition** Let $S$ be a set and $*$ be a [[Binary Operation]] on $S$. We say that $*$ is commutative on $S$ if$a*b = b * a \quad \forall a,b \in S.$