Тождество – это равенство, которое верно при всех допустимых значениях входящих в него переменных.
Пример:
$$(a + b)^2 = a^2 + 2ab + b^2$$ – это тождество, так как оно верно для любых значений a и b.