Cтраница 2
Факторалгебра В / а7 изоморфна булевой алгебре [ О, а ], где а - дополнение элемента а в В. Фактор-алгебра алгебры Р ( Х) всех подмножеств бесконечного множества X по идеалу конечных подмножеств дает пример безатомной булевой алгебры. [16]
Разумеется, если существование нулевого или единичного элемента ( или существование обоих граничных элементов) особо оговорено или предполагается, что существуют дополнения элементов, то понятие подструктуры надлежит формулировать так, чтобы она содержала элементы, существование которых постулируется. [17]
Теоретико-множественное дополнение - Л подмножества А в пространстве X может быть определено или как наибольшее подмножество пространства X, не пересекающееся с Л, или как наименьшее подмножество пространства X, дающее в объединении с А все пространство X. Каждое из этих замечаний подсказывает определение дополнения элементов в решетках. Но, к сожалению, эти два определения, вообще говоря, не эквивалентны, Поэтому мы должны определить два понятия дополнения элемента а в решетке А. [18]
Теоретико-множественное дополнение - А подмножества А в пространстве X может быть определено или как наибольшее подмножество пространства А, не пересекающееся с А, или как наименьшее подмножество пространства X, дающее в объединении с А все пространство X. Каждое из этих замечаний подсказывает определение дополнения элементов в решетках. Но, к сожалению, эти два определения, вообще говоря, не эквивалентны. Поэтому мы должны определить два понятия дополнения элемента а в решетке А. [19]
В частных случаях все дополнения элементов первой строки могут быть равны нулю. В этих случаях их нужно заменить дополнениями элементов другой строки, которые не все равны нулю. В последующем знаменатели в уравнениях (3.39) становятся нулевыми только однажды. [20]
Теоретико-множественное дополнение - Л подмножества А в пространстве X может быть определено или как наибольшее подмножество пространства X, не пересекающееся с Л, или как наименьшее подмножество пространства X, дающее в объединении с А все пространство X. Каждое из этих замечаний подсказывает определение дополнения элементов в решетках. Но, к сожалению, эти два определения, вообще говоря, не эквивалентны, Поэтому мы должны определить два понятия дополнения элемента а в решетке А. [21]
Теоретико-множественное дополнение - А подмножества А в пространстве X может быть определено или как наибольшее подмножество пространства А, не пересекающееся с А, или как наименьшее подмножество пространства X, дающее в объединении с А все пространство X. Каждое из этих замечаний подсказывает определение дополнения элементов в решетках. Но, к сожалению, эти два определения, вообще говоря, не эквивалентны. Поэтому мы должны определить два понятия дополнения элемента а в решетке А. [22]
Дополнительным достоинством АПЛ является наличие операторов для всех матричных операций, употребляемых в преобразованиях изображения. Для графических целей особенно полезна полная свобода при работе с массивами. Связывание имен переменных и значений в АПЛ откладывается до первого употребления имени в инструкции присваивания. В этот момент происходит определение типа переменной по типу присваиваемого значения. Такая особенность АПЛ значительно упрощает выполнение преобразований, дополнение элементов примитивами или объединение элементов. [23]