::::一元运算.设formula_7为一由formula_8映射至formula_8的一元运算，则formula_7为幂等的，当对于所有在formula_8内的formula_12，formula_13特别的是，恆等函数一定是幂等的，且任一常数函数也都是幂等的。注意当考虑一由formula_8至formula_8的所有函数所组成的集合formula_1时，formula_7在一元运算下为幂等的若且唯若在二元运算下，formula_7相对于其复合运算(标记为formula_19)会是幂等的。这