Definition:Tree (Graph Theory)/Finite
< Definition:Tree (Graph Theory)(Redirected from Definition:Finite Tree)
Jump to navigation
Jump to search
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