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