于其自身的二元运算的集合，则formula_1的元素formula_3称为幂等的(相对于formula_4)当formula_5特别的是，任一单位元都是幂等的。若formula_1的所有元素都是幂等的话，则其二元运算*被称做是幂等的。例如，联集和交集的运算便都是幂等的。
一元运算.设formula_7为一由formula_8映射至formula_8的一元运算，则formula_7为幂等的，当对于所有在formula_8内的formula_12，formula_13特