§2运算及其性质 《定义》:设*是集合S上的二元运算对任xyz∈S 都有 (x*y)*z=X*(y*z),则称*运算在S上是可结 合的(或者说*在S上满足结合律) 《定义》:设*和°是集合S上的二个二元运算 对任一xyz∈S有 X*(y°z) (X y )°(X*Z); (y°z)*X=(y*X)°(z*X),则称运算*对是 可分配的(或称*对°满足分配律)。§2运算及其性质 《定义》:设*是集合S上的二元运算,对任一x,y,z S 都有 （x  y）  z=x  （y  z）,则称运算在S上是可结 合的（或者说*在S上满足结合律）。 《定义》:设和是集合S上的二个二元运算, 对任一x,y,z S有 x  （y  z）=（x  y）  （x  z）； （y  z）  x=（y  x）  （z  x）,则称运算对是 可分配的（或称对满足分配律）