\begin{definition}[Definition:Loop (Graph Theory)]
Let $G = \struct {V, E}$ be a loop-graph.
A '''loop''' is an edge $e$ of $G$ whose endvertices are the same vertex.
Thus a '''loop''' $e$ on the vertex $v$ would be written:
:$e = vv$
\end{definition}