verb · being the same in every respect or consistently equal throughout a given domain

如果两个函数在定义域内对应的函数值都相等，则这两个函数恒等。

noun · relating to a mathematical or logical identity where equality holds for all possible values of the variables

恒等式是代数学中的一个基本概念。