恒等hengdeng

两个解析式之间的一种关系.两个解析式如果对于它们的定义域的公共部分（或公共部分的子集）内的一切值，都有相等的值，就称这两个解析式是恒等的.
两个解析式恒等的概念是相对于指定的数集而言的，即同样的两个解析式在公共定义域的某一子集内是恒等的，而在另一个子集内可能不恒等.例如，解析式和x在非负数的集合上恒等，而在所有实数的集合上不恒等.