问答题

共用题干题

S={a,b,c},*是S上的二元运算,且,x*y=x。

证明S关于*运算构成半群。

【参考答案】