root::=The unique node that is an ancestor of all other nodes in the tree.
tree::=either empty or a root plus zero or more subtrees. Note that
computer scientists draw trees upside donw with the root at the top!
description of a tree is as a directed graph that is weakly-connected, has
no semicycles, and a single root:
[ Trees in math_22_graphs ]