1: \begin{definition}[Arborescence]

2: In accordance with Theorem 2.5 of~\cite{korte2012combinatorial}, a graph $T$ with a vertex $s$ is an arborescence rooted at $s$ if every vertex in $T$ is reachable from $s$, but deleting any edge in $T$ destroys this property.

3: \end{definition}

4: