О характеризуемых классах решёток

Изучается понятие характеризуемого класса систем. Доказывается существование характеризуемых многообразий решёток, сумма которых в решётке всех многообразий решёток не является характеризуемым многообразием. Находятся два конечно характеризуемых квазимногообразия решёток, не являющихся многообразиями, пересечение которых в решётке квазимногообразий решёток является многообразием, а также строится пример характеризуемого локально конечного многообразия решёток.