Индексированное множество

Cтраница 1

Индексированное множество г подалгебр алгебры независимо. [1]

Булево произведение любого индексированного множества ЗУ ег невырожденных алгебр всегда существует. [2]

Действительно, объединение любого индексированного множества непересекающихся элементов существует. [3]

Удобство обращения с мерами, индексированными множествами ( а не упорядоченными наборами точек) состоит в том, что вместо двух типов условий симметрии и согласованости, введенных в § 11, возникает одна система условий согласованности. [4]

Пусть AttS ter ses - любое m - индексированное множество элементов алгебры 91 / А. [5]

Пусть Л [0 ] ( Gt открыты) - некоторое индексированное множество элементов алгебры ЗГ. [6]

В этом параграфе 31 6 г будет обозначать некоторое фиксированное индексированное множество невырожденных булевых алгебр, a m - фиксированное бесконечное кардинальное число. [7]

Следующая операция образования произведения полей множеств дает важный пример независимого индексированного множества подалгебр. [8]

Булева алгебра 31 свободна ( с п свободными образующими) тогда и только тогда, когда она порождается независимым индексированным множеством из п элементов. [9]

Это будет существенно, например, в § 13, § 16, § 36 и § 38, где рассматриваются индексированные множества булевых алгебр. Во многих случаях это не существенно, например, когда рассматриваются объединения и пересечения индексированных множеств элементов булевой алгебры ( гл. [10]

Для того чтобы булева алгебра 91 была свободной с п свободными образующими, необходимо и достаточно, чтобы 91 была булевым произведением индексированного множества п четырехэлементных булевых алгебр. [11]

Если алгебра 31 является m - дистрибутивной, то каждая подалгебра 950 алгебры 33, которая m - порождена некоторым m - индексированным множеством At t r алгебры 31, является атомной алгеброй и, следовательно, изоморфна некоторому m - полю множеств. [12]

Представление вершин ДБ-дерева. [13]

Тем не менее сразу же ясно, что Б - деревья первого порядка не имеет смысла использовать для представления больших, упорядоченных, индексированных множеств данных, требующих вторичной памяти: ведь приблизительно 50 % всех страниц будут содержать только один-единственный элемент. [14]

Архитектура программы CHEF. [15]

Страницы: 1 2