数学中三个横杠是恒等号，一般用于一些参变量恒为一个常数或恒定表达式时，总等于关系与变量无关。例如函数f(x)≡k表示该函数的值始终为k而与x的值无关。恒等式是无论其变量如何取值，等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分，两个独立的函数却各自有定义域，与x在非负实数集内是恒等的，而在实数集内是不恒等的。