A property that some binary operations possess. The operation @ is commutative if for all a,b, the following holds:
a@b = b@a