Definition:Associative Operation

Definition
Let $\circ$ be a binary operation.

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


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

Also see

 * Associativity on Four Elements
 * General Associativity Theorem