Тождественно равные. Правил0
Тождество это равенства при любых допустимых значениях входящих в его состав переменных