Definition. Associativity [dm-000F]
A binary operator \bullet is associative iff, for all x, y and z, x \bullet (y \bullet z) = (x \bullet y) \bullet z. That is, the grouping with parentheses doesn't matter.
A binary operator \bullet is associative iff, for all x, y and z, x \bullet (y \bullet z) = (x \bullet y) \bullet z. That is, the grouping with parentheses doesn't matter.