1. Два выражения называются тождественно равными, если при всех значениях входящих в них переменных, принадлежащих общей области определения, соответственные значения этих выражений равны.

2. Равенства, верные при всех допустимых значениях переменных, называются тождествами.

Например,

при — тождества.