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

A.（a * b）*a= a                       B. [a*（b*a）] *（a * b）= a

C. b*（b*b）=b                        D. （a * b）* [b*（a*b）] =b

【答案】A  命题立意：本题主要考查学生接受新知识、分析问题、解决问题的能力