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