Выражения называют тождественно равными, если равны их соответственные значения при любых допустимых значениях переменных. 13

Это нужно, потому что не любое равенство является тождеством. 5 Тождество — это равенство, выполняемое для всех значений переменных, но есть равенства, выполняемые только при одном значении переменной (и они тождеством не являются). 5

Также, решая сложную задачу, сложное выражение заменяют на более простое выражение, тождественно равное предыдущему, чтобы облегчить себе вычисление. 4 Такую замену называют тождественным преобразованием выражения. 4

Таким образом, использование понятия тождественно равных выражений позволяет учитывать и учитывать разные условия равенства выражений.