Assertion: graph's ordering | /r/HasProperty | a sequence of the vertices
Facets:
Source sentences:
text: Equivalently, a DAG is a directed graph that has a topological ordering, a sequence of the vertices such that every edge is directed from earlier to later in the sequence.