for all g,h,k∈Gg, h, k \in Gg,h,k∈G, (g⋅h)⋅k=g⋅(h⋅k)(g\cdot h)\cdot k=g\cdot(h\cdot k)(g⋅h)⋅k=g⋅(h⋅k)
