Отношение между выражениями на основе тождества.