(S,*)是半群,则*是可结合的.
对于S中的任意元素x,y,z,(x□y)□z=(x*a*y)□z=(x*a*y)*a*z=x*a*(y*a*z)=x*a*(y□z)=x□(y□z),所以□是可结合的