Упорядоченные 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