Definition

A operation is commutative if: