Упорядоченные T-деревья

Пусть на множестве значений типа T фиксирован порядок. Назовем T -дерево упорядоченным, если выполнено такое свойство:    для любой вершины x все пометки в ее левом поддереве меньше пометки в x , а все пометки в ее правом поддереве больше пометки в x . \begin{displaymath}
\setlength {\unitlength}{1.4em}
 
\begin{picture}
(8,6)
\put...
 ...(1,1){${}<x$}}
\put(5,4){\makebox(1,1){${}\gt x$}}\end{picture}\end{displaymath}



$\scriptstyle{\blacktriangleright}$ 12.1.1. Доказать, что в упорядоченном дереве все пометки различны.

[Указание. Индукция по высоте дерева.]$\blacktriangleleft$



pvv
1/8/1999