中学我术犬荸 University of Science and Technoiogy of China 例 (l,*),为整数集合,a*b=a+b-mb 证明(,*)为半群。 n跟包含排斥原理的形式很相似 证明: (1)首先证明(I,*)为代数系统。 :非空集合,“*”:二元运算并且封闭, 因此,(Ⅰ,*)为代数系统1 ,* , * I I I  证明： （）首先证明（ ）为代数系统。 ：非空集合，“ ”：二元运算并且封闭， 因此，（ ）为代数系统。 ( , ), a , ( , ) I I b a b ab I   = + −  为整数集合， 证明 为半群。 ◼ 例： ◼ 跟包含排斥原理的形式很相似。 9