\begin{definition}[Definition:Directed Graph/Arc/Endvertex/Final Vertex]
Let $D = \struct {V, E}$ be a digraph.
Let $e = u v$ be an arc of $D$, that is, $e \in E$.
The '''final vertex''' of $e$ is the endvertex $v$ which $e$ is incident to.
\end{definition}