Definition, synonyms and related words
An acyclic directed graph in which the set of nodes reachable from any node forms a tree.