Kommutatív művelet

Legyen $*$ egy valamilyen $S$ halmazon értelmezett kétváltozós művelet. Amennyiben tetszőleges $S$-beli $a$ és $b$ elemekre teljesül, hogy $a*b=b*a$, akkor azt mondjuk, hogy a $*$ művelet kommutatív.

♣