Definition:Tree (Graph Theory)/Infinite
< Definition:Tree (Graph Theory)(Redirected from Definition:Infinite Tree)
Jump to navigation
Jump to search
Definition
A tree is infinite if and only if it contains a (countably) infinite 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