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

From ProofWiki
Jump to navigation Jump to search

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 digraph with the stipulation that the relation $E$ does not need to be antireflexive.


Sources