\begin{definition}[Definition:Loop-Graph/Loop-Digraph/Formal Definition]
A '''loop-digraph''' $D$ is a non-empty set $V$ together with a relation $E$ on $D$.
Thus it can be seen that a '''loop-digraph''' is a directed graph with the stipulation that the relation $E$ does not need to be antireflexive.
\end{definition}