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