Asszociatív művelet

Legyen $\ast$ 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\ast b)\ast c=a\ast (b\ast c)$, akkor azt mondjuk, hogy a $\ast$ művelet asszociatív.

♣