9.2.2. Эквивалентное определение ордерева

Ордерево Т — это конечное множество узлов, таких что:

1. Имеется один узел r, называемый корнем данного дерева.

2. Остальные узлы (исключая корень) содержатся в k попарно непересекающихся множествах Т_1,...,T_k, каждое из которых является ордеревом (k  0).