What is the definition of  a digraph (directed graph)?