Associativity of binary operation