Два выражения называются тождественно равными, если при всех допустимых значениях входящих в них переменных (принадлежащих ОДЗ) , соответственные значения этих выражений равны. Равенства, верные при всех допустимых значениях переменных, называются тождествами.