Решетка теорий Мальцева

Теорией Мальцева называется совокупность всех строгих условий Мальцева, выполнимых в некотором данном многообразии $U$ алгебр. Доказано, что теории Мальцева образуют по включению полную решетку мощности $2^\omega$, двойственную решетке непустых специальных классов Мальцева (или $S_\delta$-классов). Дана также новая характеризация $S_\delta$-классов.