Коммутативная $IP$-лупа, допускающая только дискретную топологизацию

Предлагается пример, показывающий, что проблема недискретной топологизации для коммутативных луп с тождеством $x^{-1}\cdot(x\cdot y)=y$ решается отрицательно.
Библиогр. 3.