Directed graph
Let
be a set of vertices and let an edge is a directed edge from to . The directed graph is the pair .
This is similar to a graph but the edges now have a direction. Depending on the definition you can allow loops or disallow them. Also some may allow repeated edges where you can switch to a more formal definition of a directed graph.