Достижимые многообразия квазигрупп

Пусть $\mathfrak{K}$ — многообразие алгебр сигнатуры $\Omega$ и $A$ — произвольная алгебра этой же сигнатуры. Конгруэнция $\theta$ на $A$ называется $\mathfrak{K}$-конгруэнцией, если $A/\theta\in\mathfrak{K}$ и $\theta$ — наименьшая конгруэнция с этим свойством. Многообразие $\mathfrak{K}$ называется достижимым, если для любой алгебры $A$ всякий смежный класс $\mathfrak{K}$-конгруэнции $\theta$ на $A$, являющийся подалгеброй в $A$, имеет в $\mathfrak{K}$ только одноэлементный гомоморфный образ. В работе строится многообразие квазигрупп, в котором все подмногообразия достижимы и содержится континуум минимальных подмногообразий.