4. Что такое тождество?

Тождество — это равенство, верное при всех допустимых значениях входящих в него переменных.

Например, a + b = b + a — тождество.