One example is :formula_1which is true for all complex values of formula_2 (since the complex numbers formula_3 are the domain of sin and cos), as opposed to:formula_4which is true only for some values of formula_2, not all.
То́ждество (в математике) — равенство, выполняющееся на всём множестве значений входящих в него переменных, например:: formula_1: formula_2и т. п. Иногда называют тождеством также равенство, не содержащее никаких переменных; напр.