Что такое тождество?
Равенство, выполняющееся на всём множесве значений входящих в него переменных. Тождественное равенство,когда его хотят подчеркнуть особо.