Definition:Finitely Branching

From ProofWiki
Jump to navigation Jump to search

Definition

Let $T$ be a tree.


Then $T$ is finitely branching if and only if $T$ is locally finite.


Also defined as

When dealing specifically with rooted trees, one often defines $T$ to be finitely branching if and only if:

Every node of $T$ has finitely many children.


Also see