Associativity

for all $g,h,k\in G$, $(g\cdot h)\cdot k=g\cdot (h\cdot k)$