基本內容
在離散數學當中，設*是定義在集合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中關於運算*的左零元
在離散數學當中，設*是定義在集合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