Definition:Ordered Tree

Definition
Let $T$ be a rooted tree whose root is $v$.

Let $O$ be an orchard whose trees are subtrees of $v$.

Then $T$ is an ordered tree.