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

Ордерево T — это конечное множество узлов, таких что: 1) Имеется один узел v, называемый корнем данного дерева; 2) Остальные узлы (исключая корень) содержатся в k попарно непересекающихся множествах.

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

Множества в эквивалентном определении ордерева являются поддеревьями.

Если относительный порядок поддеревьев фиксирован, то ордерево называется упорядоченным.

Представление в ЭВМ свободных, ориентированных и упорядоченных деревьев.

Обсуждению представлений деревьев можно предпослать в точности те же рассуждения, что были предпосланы обсуждению представлений графов (см. раздел 7.4). Кроме того, следует подчеркнуть, что задача представления деревьев в программе встречается гораздо чаще, чем задача представления графов общего вида, а потому методы ее решения оказывают еще большее влияние на практику программирования.