零元
在离散数学当中,设*是定义在集合A上的一个二元运算,如果有一个元素a1属于A,对于任意的元素x属于A,都有a1*x=a1,则称a为A中关于运算*的左零元;如果有一个元素a2属于A,a1不等于a2,对于任意的元素x属于A都有x*a2=a2,则称a2为A中关于运算*的右零元;如果A中的一个元素a,它既是左零元又是右零元,则称a为A中关于运算*的零元。
显然,对于任一x属于A,有
a*x=x*a=a
在离散数学当中,设*是定义在集合A上的一个二元运算,如果有一个元素a1属于A,对于任意的元素x属于A,都有a1*x=a1,则称a为A中关于运算*的左零元;如果有一个元素a2属于A,a1不等于a2,对于任意的元素x属于A都有x*a2=a2,则称a2为A中关于运算*的右零元;如果A中的一个元素a,它既是左零元又是右零元,则称a为A中关于运算*的零元。
显然,对于任一x属于A,有
a*x=x*a=a