Definition:Associative

Let $$\circ$$ be a binary operation.

Then $$\circ$$ is defined as being associative on $$S$$ iff:

$$\forall x, y, z \in S: \left({x \circ y}\right) \circ z = x \circ \left({y \circ z}\right)$$.