Definition:Tree (Graph Theory)/Finite

Definition

A tree is finite if and only if it contains a finite number of nodes.

This definition also applies to rooted trees.

Sources

• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus