# 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.