Commutative Property

Definition

$\forall x,y\in S:x\ast y=y\ast x$

A binary operation is commutative if changing the order of the operands does not change the result