二元运算的算律 ■涉及一个二元运算的算律 交换 结合—广义结 幂等 消去 ■涉及两个不同的二元运算 分配—广义分配 吸收(以交换为前提)9 二元运算的算律 „ 涉及一个二元运算的算律 交换 结合——广义结合 幂等 消去 „ 涉及两个不同的二元运算 分配——广义分配 吸收（以交换为前提）