In graph theory, an arborescence is a directed graph where there exists a vertex r (called the root) such that, for any other vertex v, there is exactly one directed walk from r to v (noting that the root r is unique).[1] An arborescence is thus the directed-graph form of a rooted tree, understood here as an undirected graph.[2][3] An arborescence is also a directed rooted tree in which all edges point away from the root; a number of other equivalent characterizations exist.[4][5]
Every arborescence is a directed acyclic graph (DAG), but not every DAG is an arborescence.
Theorem 5.6.5, Statement A4: For each vertex v ∈ V, the multidigraph D has a unique walk from r to v.
Williamson1985
was invoked but never defined (see the help page).