§2运算及其性质 《定义》:设*,△是定义在集合S上的两个可交换二元运 算,如果对于任意的xy∈S,都有: X*(XAy)=X;X△(X*y)= 则称运算*和运算△满足吸收律 《定义》:设*是S上的二元运算若对任 ⅹ∈S有X*￥=x,则称*满足等幂律 讨论定义: 1)S上每一个元素均满足X*X=X,才称*在S上满足幂等律; 2)若在S上存在元素X∈S有X*X=x则称x为S上的幂等元 素 3)由此定义,若X是幂等元素,则有X*X=x和=x成立§2运算及其性质 《定义》:设，是定义在集合S上的两个可交换二元运 算，如果对于任意的x,yS，都有： x (x y)=x；x (xy)=x 则称运算和运算满足吸收律。 《定义》:设*是S上的二元运算,若对任一 x S有x  x=x,则称满足等幂律。 讨论定义： 1)S上每一个元素均满足xx=x,才称在S上满足幂等律； 2)若在S上存在元素xS有x  x=x,则称x为S上的幂等元 素； 3)由此定义,若x是幂等元素,则有x  x=x和x n=x成立