在某集合 E 中定义了一个运算 *，如果 E 中的元 a 满足 a*a = a，则称 a 为 E 的幂等元。

在数学里，等幂有两种主要的定义。给定一二元运算，等幂元素是指乘上(或对一函数，复合它自己会等于它自己的元素。）例如，乘法下唯一两个等幂实数为0和1。

特别的是，任一单位元都是等幂的。若S的所有元素都是等幂的话，则其二元运算*被称做是等幂的。例如，联集和交集的运算便都是等幂的。