恒等 编辑

恒等恒等

词语释义

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

运用示例

编辑
例如: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除以4的余数相同。在对除法良定义的系统中,我们甚至可以得到形如1/2≡3(mod5)的式子。但是,一般的等价关系往往用~来表示。≡一般只用于模运算。