The level of a vertex, , is the number of edges from to the root, .
The height of a tree is the maximum level of the tree.
Let be a vertex in a rooted tree. Then the children of are the vertices adjacent to , one level below (think of the root at the top of the tree, with each successive level below the previous one).
The parent of a vertex is the adjacent vertex one level up from .
The siblings of a vertex are the vertices with the same parent as .
The ancestors of a vertex are the vertices on the path from to , not including .
The descendants of a vertex are the vertices on the subtree taking as the root, not including .
After experimenting you should be able to conjecture that a tree with 10 vertices has 9 edges, and a tree with 5 vertices must have 4 edges. This relationship is true in general.
We should be able to see that it is not possible to draw a connected graph with 7 vertices and 6 edges that is not a tree. This leads to the next theorem.
This is a useful lemma for proving statements about trees. However, if the tree has infinitely many vertices and edges, then the lemma is false. Give an example of an infinite tree that has no vertex of degree 1.