【正确答案】由条件可知满足封闭性，且满足结合律．
   (a*b)*a=b*a=a，    a*(b*a)=a*a=a；
   (b*a)*a=a*a=a，    b*(a*a)=b*a=a；
   (a*b)*b=b*b=b，    a*(b*b)=a*b=b；
   (b*a)*b=a*b=b，    b*(a*b)=b*b=b；
   故是半群．