Невозможность задания класса $L_0$-алгебр с помощью тождеств

Доказывается, что квазимногообразие частично упорядоченных коммутативных полугрупп с квазивычитанием, определяемым эквивалентностью $x-a\le y$ $x\le y+a$ (в которых существует наименьший элемент, являющийся полугрупповой единицей и наибольший элемент 1, удовлетворяющий тождеству $1-(1-x)=x$), не является многообразием. Библиогр. 13 назв.