Associativity and commutativity of addition (diagram)