Ассоциативная операция

Определение:

Бинарная операция [math]\cdot:G\times G \rightarrow G[/math] называется ассоциативной, если для любых [math]a,b,c[/math] из [math]G[/math] выполняется [math](a\cdot b)\cdot c = a\cdot(b\cdot c)[/math].