A binary operation * on a set A is commutative if a * b = b * a, for all (a, b) ∈ A (non-empty set).

Let addition be the operating binary operation for a = 8 and b = 9, a + b = 17 = b + a.