(thing) by pi Sat Nov 13 1999 at 14:24:39
In graph theory, a digraph is a directed graph. The same as a graph, except elements of the edge set are ordered pairs, not unordered pairs.

If (a,b) is an edge the edge (b,a) doesn't necessarily exist.
I like it!