Kategorie:Theorie der gerichteten Graphen/Definitionen