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