離散數學什麼是等冪元

在某集合 E 中定義了一個運算 *，如果 E 中的元 a 滿足 a*a = a，則稱 a 為 E 的冪等元。

在數學裏，等冪有兩種主要的定義。給定一二元運算，等冪元素是指乘上(或對一函數，複合它自己會等於它自己的元素。）例如，乘法下唯一兩個等冪實數為0和1。

特別的是，任一單位元都是等冪的。若S的所有元素都是等冪的話，則其二元運算*被稱做是等冪的。例如，聯集和交集的運算便都是等冪的。