directed graph
graph with oriented edges
ProofWiki: Definition:Directed_GraphMathWorld: DirectedGraph
Wikipedia (English): Directed_graph
Encyclopedia of Mathematics: Graph,_oriented
Agda Unimath: directed graph
Wikidata: directed graph
Agda Unimath: directed graph structure