Тождество − это равенство, верное при всех допустимых значениях входящих в него переменных. Например: