равенство, выполняющееся на всём множестве значений входящих в него переменных (равенство, верное при любых значениях переменных)
тождеств·+о·
то́ждество
Равенство x + 2 = 5 имеет место не при всяком значении x, а только при x = 3. Такое равенство не является тождеством; оно называется уравнением.