Definition:Loop-Graph/Loop-Digraph/Formal Definition

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.