离散数学-9 代数系统

            定义7.11 设º为S上的二元运算, 如果对于任意的x,y,z∈S,满足以下条件： （1）若x º y=x º z 且x≠θ，则y=z; （2）若y º x=z º x 且x≠θ，则y=z; 则称运算 º 满足消去律，（1）称作左消去律，（2）称作右消去律。 如果S中某些x满足x º x=x, 则称x为运算º的幂等元 定义9.1 设S为集合，函数f：SSS 称为S上的二

>>阅读原文<<