То́ждество — одно из основных понятий логики и математики; используется для формулировки определяющих соотношений, законов и теорем. Тождество рассматривается как абсолютный случай отношения равенства между объектами.
В математике тождество — это уравнение, которое удовлетворяется тождественно, то есть справедливо для любых допустимых значений входящих в него переменных.
С логической точки зрения, тождество — это предикат, изображаемый формулой х = у (читается: «х тождественно у», «х то же самое, что и y»), которому соответствует логическая функция, истинная, когда переменные х и у означают различные вхождения одного и того же предмета, и ложная в противном случае.