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