A directed graph
has the set of vertices
and the set of edges.