Eine Verknüpfung

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

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

${\displaystyle {}x\circ y=y\circ x\,}$

gilt.