Eine Verknüpfung
auf einer Menge M {\displaystyle {}M} heißt assoziativ, wenn für alle x , y , z ∈ M {\displaystyle {}x,y,z\in M} die Gleichheit
gilt.