设S是至少含有两个元素的集合,在S上定义了一个二元运算“*”(即对任意的a,b∈S,对于有序元素对(a,b),在S中有唯一确定的元素a*b与之对应).已知对任意的a,b∈S,有a*(b*a)=b;则对任意的a,b∈S,给出下面四个等式:
(1)(a*b)*a=a (2)[a*(b*a)]*(a*b)=a (3)b*(a*b)=a (4)(a*b)*[b*(a*b)]=b
上面等式中恒成立的有( )
A.(1)、(3)
B.(3)、(4)
C.(2)、(3)、(4)
D.(1)、(2)、(3)、(4)