Антимногообразия унаров

Даётся полное описание решётки всех антимногообразий унаров, устанавливается существование континуума антимногообразий унаров, не имеющих независимого базиса антитождеств, находится необходимое и достаточное условие, при котором конечный унар имеет независимый либо конечный базис антитождеств. Кроме того, доказывается, что решётка всех антимногообразий унаров изоморфна решётке $\mathcal A_{1,1}$-антимногообразий, где $\mathcal A_{1,1}$ – многообразие унарных алгебр сигнатуры $\langle f,g\rangle$, определяемое тождествами $f(g(x))=g(f(x))=x$.