Eine Verknüpfung

${\displaystyle \circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,}$

auf einer Menge ${\displaystyle {}M}$ heißt assoziativ, wenn für alle ${\displaystyle {}x,y,z\in M}$ die Gleichheit

${\displaystyle {}(x\circ y)\circ z=x\circ (y\circ z)\,}$

gilt.