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.