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

Примеры тождеств:

равенство

$$(a+b)^2=a^2+2ab+b^2,$$справедливое при всех числовых значениях $a$ и $b$;

равенство

$$\frac{a^2-1}{a-1}=a+1,$$справедливое при всех значениях $a≠1$ (при $a=1$ правая часть существует, но левая теряет смысл);

равенство

$$\log xy=\log x+\log y,$$справедливое при всех положительных значениях $x$ и $y$ (если $x$ и $y$ отрицательны, то левая часть существует, но правая теряет смысл).

Для обозначения тождеств применяется знак $≡$, введённый Б. Риманом (1857).