Kommutatív művelet

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

♣