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