群的公理之一:对任意 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)
结合律保证"先算哪两个都一样",是群、环、域等代数结构共同要求的运算性质,函数复合天然满足。减法与除法不满足结合律:(5−3)−2=0≠5−(3−2)=4(5-3)-2=0\ne5-(3-2)=4(5−3)−2=0=5−(3−2)=4。