Commutativity of binary operations