Тождество - это утверждение или выражение, которое всегда верно, независимо от значений переменных в нем. В математике тождество часто используется для доказательства равенства двух выражений или для вывода новых утверждений из уже известных. Тождество может быть как простым утверждением типа "a = a", так и сложным выражением, содержащим переменные и операторы. В общем случае тождество может быть равенством, неравенством или любым другим соотношением между математическими объектами.