单项选择题
A.对∀a,b,c∈S,必有a*b*c=a*cB.对∀a,x,y∈S,若a*x=a*y,必有x=yC.对∀a,b∈S,必有a*b*a=aD.对∀a∈S,必有a*a=a
A.群B.独异点C.半群D.代数系统
A.∀a,b,c∈G,a*(b*c)=(a*b)*cB.∀a,x,y∈G,若a*x=a*y,则x=yC.∀x,y∈G,x*y=y*xD.∀a∈G,a*a=a