恒等

héngděng

[identical] 完全相等的;产生或实现同一的——主要指逻辑命题和数学的方程与演算所表示、产生或实现的方面

恒等符号 "≡"。恒等号一般用于一些参变量恒为一个常数或恒定表达式时，表示这种等于关系与变量无关。例如函数f（x）≡0表示该函数的值始终为0而与x的值无关。

例如：x+1=0翻译为一般语言为：使得式子x+1=0的x的值，显然，这个x=-1；而x+y≡y+x翻译为一般语言为：任意x,y的值都能使得式子x+y=y+x成立。注意，此处使用加号默认了这是一个交换运算。

此外，在数论中，≡被用来描述一种等价关系，比如1≡5(mod 4)表示1除以4和5除以的余数相同。在对除法良定义的系统中，我们甚至可以得到形如1/2≡3(mod5)的式子。但是，一般的等价关系往往用~来表示。≡一般只用于模运算。