冪等
絶対値関数 abs(x) == abs(abs(x)) == abs(abs(abs(x))) == ... は全ての x について冪等である。換言すれば、abs を一回適用した結果と複数回適用した結果は等しい。