Ein gerichteter Graph ist eine Menge M {\displaystyle {}M} versehen mit einer fixierten Relation R ⊆ M × M {\displaystyle {}R\subseteq M\times M} .