设<S,*>是一个半群,α∈S,在S上定义一个二元运算口,使得对于S中的任意元素X和Y,都有X□ y =x* * y,证明二元运算口是可结合的.
出自:计算机科学与技术(第二学期)