Исследование универсального формального контекста

Изучается универсальный формальный контекст. Получен ряд свойств самого контекста, его понятий и решетки, образованной множеством этих понятий. Наиболее значимое из этих свойств представлено теоремой, показывающей, что найдется вложение решетки понятий произвольного не более чем счетного формального контекста в решетку понятий универсального контекста, при котором образ данного вложения будет начальным сегментом в множестве понятий универсального формального контекста с бесконечными объемами, а также справедливость дуального результата. Показано, что данная теорема справедлива и в вычислимом случае. Эта теорема демонстрирует сложность устройства решетки понятий универсального формального контекста.