\begin{definition}[Definition:Ordered Tree]
Let $T$ be a rooted tree whose root is $v$.
Let $O$ be an orchard whose trees are subtrees of $v$.
{{explain|Cannot find a reference to an "orchard" in this context -- probably means "ordered forest".}}
Then $T$ is an '''ordered tree'''.
Category:Definitions/Rooted Trees
\end{definition}