设＜{a，b}，＞是半群，且aa=b，则b*b=b