квазитождество

Мат. conditional identity