Cтраница 4
При этом устанавливается следующее соответствие между графом на рис. 95 и таблицей инцидентности на рис. 2 ( стр. Pk соответствуют точки плоскости, а точкам 1 - прямые плоскости. Если понимать отношение принадлежности точек одному ребру как отношение инцидентности, то нетрудно будет убедиться, что наш граф является моделью плоскости Галуа порядка два. [46]
База данных ( БД) - структурированная совокупность данных. Наименьшая единица описания данных называется элементом описания. Совокупность элементов описания, объединенных отношением принадлежности к одному описываемому объекту, называется записью. Если элементы описания соответствуют отдельным свойствам объекта, то запись описывает объект в целом. Например, код типа микросхемы, логическая функция, мощность потребления, коэффициент разветвления в совокупности составляют запись и описывают свойства конкретного объекта - микросхемы. [47]
Докажите, что отношение на нем является частичным порядком, ( в) Докажите, что для любых элементов а, Ь а верно ровно одно из трех соотношений: либо а Ь, либо а 6, либо Ь а. Докажите, что один ординал изоморфен собственному начальному отрезку другого тогда и только тогда, когда является его элементом. Таким образом, отношение на ординалах как упорядоченных множествах совпадает с отношением принадлежности. Докажите, что каждый ординал является множеством всех меньших его ординалов. [48]
Выбранная спецификация S состоит из множества предложений, записанных в общем языке логики первого порядка. В первом предложении формулируется стандартное определение предиката подмнож; во втором определяется отношение принадлежности для принятого представления множеств ( в виде структурированных термов), а в третьем дается определение пустого множества. [49]
Так как все проектирующие лучи параллельны плоскости ю, то они лежат в одной ( проектирующей) плоскости а. Мы знаем, что в евклидовом пространстве такой линии не имеется. Таким образом, основываясь на принципе применимости метода центральной проекции и сохранения отношений принадлежности элементов пространства, мы приходим к выводу, что реконструкция евклидовой плоскости должна выразиться в присоединении к этой плоскости несобственной прямой, являющейся геометрическим местом несобственных точек плоскости. Так как любые две параллельные плоскости должны удовлетворять тем же требованиям ( что и плоскости со и ст), то сказанное относится ко всем плоскостям евклидова пространства. Благодаря введению несобственной прямой на каждой евклидовой плоскости в реконструированном пространстве совокупность плоскостей, параллельных одной плоскости, представляет собой пучок плоскостей, осью которого является несобственная прямая, принадлежащая всем плоскостям совокупности. [50]
Теперь нам следует договориться об обозначениях кардинальных чисел, используемых на протяжении всей главы. Ясно, что Card С Ord, поэтому класс кардиналов также вполне упорядочен отношением принадлежности, как и класс ординалов. Знак для кардиналов будет использоваться в точности с той же целью, с какой он используется на классе ординалов. [51]