Infinite tree
In set theory, in graph theory, and in computer science, a tree is either of the following things, conceptually related but distinct. In all these concepts, an infinite tree is a tree of infinite size.
To do: Expand this disambiguation page to an own article on infinite trees, also defining rational trees (see Occurs check, and relating all above concepts.)