美丽万宝路

文章
4
资源
0
加入时间
2年10月17天

离散数学-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