Associativity

Sei \(M\) eine Menge mit einer Verknüpfung \(\cdot: M \times M \rightarrow M\)

Dann ist \(\cdot\) assoziativ, falls für \(x,y,z \in M\) gilt

\begin{align*} (x \cdot y) \cdot z =& x \cdot (y \cdot z) \end{align*}