Definition:Digraph