Понятие тождественно равных выражений.

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