Cтраница 2
![]() |
Двоичное дереве. [16] |
Для облегчения более эффективной реализации отношения принадлежности применяют различные древовидные структуры. В настоящем разделе мы рассмотрим двоичные деревья. [17]
Отношение удалить можно определить аналогично отношению принадлежности. [18]
Участки, вызывающие сомнение в отношении принадлежности к тому или иному типу леса, описываются отдельно. Таким образом, в конце полевых работ будет достаточно материалов для того, чтобы отнести эти участки к тому или иному типу леса или выделить в особую группу переходного типа, если они будут занимать значительную площадь. [19]
Теорема 2.2. Класс Ord вполне упорядочен отношением принадлежности. [20]
Интересно сравнить между собой эти две реализации отношения принадлежности. [21]
Таким образом, может развертываться дальнейшее изучение отношений принадлежности. [22]
Позиционные задачи связаны с выявлением по чертежу отношений взаимной принадлежности и взаимного пересечения фигур. [23]
Часто в качестве такого отношения R берут само отношение принадлежности. [24]
Отношение part of определено на множестве концептов, является отношением принадлежности и показывает, что концепт может быть частью других концептов. Оно является отношением типа часть-целое и по свойствам близко к отношению is a и может быть задано соответствующими аксиомами. [25]
Элементарно-геометрические объекты различной природы - точки, прямые и плоскости-связывает отношение принадлежности или, как говорят, инцидентности. А именно, данные точка и прямая называются инцидентными, если данная точка лежит на данной прямой или, что то же, данная прямая проходит через данную точку, и неинцидентными - в противном случае; аналогично определяются инцидентность и неинцидентность точки и плоскости, плоскости и прямой. [26]
Следует уяснить, что принцип объемности есть нетривиальное допущение об отношении принадлежности. Пример такого доказательства приводится ниже. [27]
Подробные доказательства дальнейших свойств объединения и пересечения не требуют никаких ссылок на отношение принадлежности - - эти свойства непосредственно следуют из тех, которые устанавливаются в теореме 1.1. Это относится, в частности, и к тем свойствам, которые фигурируют в следующей теореме. [28]
Из только что доказанной теоремы следует, что каждый ординал вполне упорядочен отношением принадлежности. [29]
На основании анализа матрицы OV формируются пары ( 0До0), где Ra - отношение принадлежности ( входимости) информационных элементов объектам. [30]