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