6.1.2二元运算及其性质 定义6.1-7设0为S上的二元运算,如果对任意的 X∈S都有 则称运算。适合幂等律,也可以说S中的全体元素都 是幂等元 定义6.1-8设o和*为S上的二元运算,如果对任意的 xy,z∈S都有 X( y o Z =(Xy)o(Xz (y o Z*X(y*Xo(Zx) 则称运算*对0在S上是可分配的,或者说*对在S上 适合分配律6.1.2 二元运算及其性质 定义6.1-7 设 o 为S上的二元运算，如果对任意的 x∈S都有 x o x=x, 则称运算 o 适合幂等律，也可以说S中的全体元素都 是幂等元. 定义6.1-8 设 o 和*为S上的二元运算，如果对任意的 x,y,z∈S都有 x*(y o z)=(x*y) o (x*z), (y o z)*x=(y*x) o (z*x)， 则称运算*对 o 在S上是可分配的，或者说*对 o 在S上 适合分配律