填空题 代数系统(Z，*)，对a，b∈Z，a*b=a+b-ab，因为对任何a，b，c∈Z，有(a*b)*c=a+b-ab+c-(a+b-ab)c=a+b+c-ab-ac-bc+abc=a*(b*c)，又因为存在 1是 2，所以(Z，*)是单元半群．