Asszociatív művelet

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

♣