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