Фиксируем некоторое T -дерево. Для каждой его вершины x
определено ее левое поддерево
(левый сын вершины x и все его
потомки), правое поддерево
(правый сын вершины x и все его
потомки) и поддерево с корнем в x
(вершина x и все ее потомки).
Левое и правое поддеревья вершины x могут быть пустыми, а
поддерево с корнем в x всегда непусто (содержит по крайней мере
x ). Высотой
поддерева будем считать максимальную длину цепи
его вершин, в которой yi+1 -- сын yi для всех i .
(Высота пустого дерева равна нулю, высота дерева из одного корня
-- единице.)