Тождества – это верные числовые равенства, а также равенства, которые верны при всех допустимых значениях входящих в них переменных.
Равенство 0 = 0, является тождеством, потому что оно удовлетворяет всем определениям тождества, то есть, левая часть выражения равна правой части выражения.
