Анализ показывает, что мы имеем здесь парадокс интуиции. <...> Дерево будем называть конечным, если шины на вершины следующего уровня (дочерние вершины) конечно. <...> Когда речь идет об изоморфизме деревьев, то предполагается, что он отражает разбиение на белые и черные и для вершин верхнего уровня. <...> Введем еще одно (необязательное, но иногда облегчающее расссмотре3 2 ния) требование: (5) в дереве финальные вершины не могут появиться на уровнях с непредельными номерами меньшими T . <...> Всякая нефинальная вершина дерева u определяет (порождает) некоторое поддерево (им будет множество вершин v таких, что u vp ), для которого она является корневой. <...> Для большей наглядности будем представлять, что имеется графическая картинка дерева, на которой корневая вершина находится в самом низу и расходящиеся пути идут вверх от нее (см. рисунок). <...> Если при этом он заканчивается в вершине уровня T height( )T = сквозной путь. <...> Нефинальную вершину дерева будем называть сквозной, если существует сквозной путь, проходящий через нее. <...> Если дерево содержит сквозной путь, то корневая вершина сквозная. <...> Дерево, все нефинальные вершины которого являются почти сквозными (сквозными), будем называть почти сквозным (сквозпредельный ординал и ным). <...> Вершину дерева T T будем называть странной, если большое поддерево с корнем в данной вершине, является странным деревом. <...> Дерево будем называть сильно странным, если в нем от каждой нефинальной вершины существует путь до нефинальной вершины произвольно большого уровня, и на уровне T нет вершин. <...> Почти сквозное странное дерево является сильно странным (и наоборот). <...> Среди A-деревьев выделим подкласс, когда мноl T – непредельный ординал, понятия почти сквозной и сквозной вершин совпадают. <...> В случае предельного T нефинальную вершину, находящуюся на уровне i < , будем назыT T , то путь будем называть сквозным. <...> Если дерево является полным, то финальные вершины в нем появляются лишь на верхнем уровне, и ветвление, определяемое <...>