The TopologicSort command returns a linear ordering of vertices of an acyclic digraph that is consistent with the arcs of the digraph.  This means a vertex u precedes a vertex v if there is an arc from u to v. The output is a list.