Некоторые свойства верхней полурешётки вычислимых семейств вычислимо перечислимых множеств

Исследуются особенности алгебраического строения верхней полурешётки вычислимых семейств вычислимо перечислимых множеств $\Omega$. Доказывается, что идеалы уменьшаемых и конечных семейств $\Omega$ совпадают. Изучается вопрос о существовании атомов и коатомов фактор-полурешётки $\Omega$ по идеалу конечных семейств. Указывается одно достаточное условие дополняемости вычислимых семейств.