О покрывающих элементах в структуре многообразий алгебр

Пусть многообразие $\mathfrak U$ задано уравновешенными тождествами сигнатуры $\Omega$, не содержащей унарных операций. Тогда в структуре подмногообразий многообразия $\mathfrak U$ любой отличный от $\mathfrak U$ элемент имеет покрывающие его элементы. Многообразие $\mathfrak U$ может быть, в частности, многообразием полугрупп, группоидов, $n$-ассоциативов и так далее. Доказано также, что в структуре многообразий полугрупп существует элемент, имеющий континуум покрывающих. Библ. 6 назв.