[Deestan]

All good, just a nitpick: You don't need a unique parent to have a tree. You don't even need directed edges. :)

The purest definition of a tree graph is "a graph with no cycles".

[sesqu]

We use different definitions. My trees are acyclic connected graphs with one root.