Definition:Ordered Tree

From ProofWiki
Jump to navigation Jump to search

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.