Унилатеральные $o$-группы

Для большого числа многообразий групп $\mathcal V$, близких к энгелевым, доказывается, что многообразие решёточно упорядоченных групп, порождённое всеми линейно упорядоченными группами из класса $\mathcal P\mathcal V=\bigcup_{k\in\mathbf Z_+}\mathcal V^k$, не совпадает с многообразием всех $o$-аппроксимируемых решёточно упорядоченных групп $\mathcal O_l$.