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