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

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