Тождество

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