Ancestor and descendant
If m1,m2,…,mk is a path in a tree
- m1 is called an ancestor of mk
- mk is called a descendant of m1
- If the path length is 1 or more, then m1 is called a proper ancestor of mk
- Path length of zero is possible
- m1 is an ancestor and a descendant of itself, but not a proper one