已知集合S的运算☆满足(1)x☆x=x (2)(x☆y)☆z=(y☆z)☆x,求证x☆y=y☆x (其中x,y∈S)

问题描述:

已知集合S的运算☆满足(1)x☆x=x (2)(x☆y)☆z=(y☆z)☆x,求证x☆y=y☆x (其中x,y∈S)

(x☆x)☆z=x☆z
(x☆x)☆z=(x☆z)☆x=(z☆x)☆x=z☆(x☆x)=z☆x
好像还缺一个结合律.