Definition:Rooted Tree/Branch/Finite

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a rooted tree with root node $r_T$.

Let $\Gamma$ be a branch of $T$.


Then $\Gamma$ is finite if and only if it has exactly one leaf node.


Also see


Sources