单项选择题

A.对∀a,b,c∈S,必有a*b*c=a*c
B.对∀a,x,y∈S,若a*x=a*y,必有x=y
C.对∀a,b∈S,必有a*b*a=a
D.对∀a∈S,必有a*a=a