Нижние полурешётки отделимых конгруэнций универсальных алгебр

Рассматриваются множества отделимых конгруэнций нумерованных алгебр. Показывается, что множество позитивных конгруэнций является решёткой, а множество негативных конгруэнций нижней, но не верхней полурешёткой. Демонстрируется, что множества вычислимо отделимых и отделимых конгруэнций также оказываются нижними, но не верхними полурешётками. Изучаются вопросы вычислимой полноты этих полурешёток. Устанавливается, что равномерно вычислимо отделимые конгруэнции не являются ни нижними, ни верхними полурешётками, а также даётся характеризация полуперечислимых множеств в терминах равномерно вычислимо отделимых эквивалентностей.