Definition:Tree (Graph Theory)/Infinite
Jump to navigation Jump to search
A tree is infinite if and only if it contains a (countably) infinite number of nodes.
This definition also applies to rooted trees.
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus