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