\begin{definition}[Definition:Directed Graph/Arc/Endvertex]
Let $D = \struct {V, E}$ be a digraph.
Let $e = u v$ be an arc of $D$, that is, $e \in E$.
The '''endvertices''' of $e$ are the vertices $u$ and $v$.
\end{definition}