设S是至少含有两个元素的集合,在S上定义了一个二元运算“*”（即对任意的a,b∈S,对于有序元素对（a,b）,在S中有唯一确定的元素与之对应）有a*（b*a）=b,则对任意的a,b∈S,下列等式中不恒

题目

设S是至少含有两个元素的集合,在S上定义了一个二元运算“*”（即对任意的a,b∈S,对于有序元素对（a,b）,在S中有唯一确定的元素与之对应）有a*（b*a）=b,则对任意的a,b∈S,下列等式中不恒成立的是（　　）
A．（a*b）*a=a B．[a*（b*a）]*（a*b）=a
C．b*（b*b）=b D．（a*b）*[b*（a*b）]=b
解析上的D是这么说的,将 a*b 看成a ,为什么可以这样?
还有a、b为什么可以互换的,
C为什么只把a换成b,真的是一窍不通啊,

答案