Assertion: directed graph | /r/HasAspect | topological ordering
Facets:
Source sentences:
text: A directed graph is acyclic if and only if it has a topological ordering.
text: The existence of such an ordering can be used to characterize DAGs: a directed graph is a DAG if and only if it has a topological ordering.