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