mathswitch — infrastructure for relaying and exchanging mathematical concepts

directed graph

graph with oriented edges

ProofWiki: Definition:Directed_Graph
MathWorld: DirectedGraph
Wikipedia (English): Directed_graph
Wikidata: directed graph
Agda Unimath: directed graph structure