有效，但是右边有 对于 。为了得到一个一切正整数n都成立的恒等式，可以利用艾弗森括号补充等式：
样例.克罗内克函数 : formula_7符号函数和单位阶跃函数：最值与绝对值：上下取整函数：可被表示为实数的三分律等价于下面的恒等式：