Тождество

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

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