This is a collection of vertices where each vertex is connected to another vertex with a directed edge.