Assertion: graph's vertex | /r/HasProperty | ordered as u ≤
Facets:
value: in this partial order
type: OTHER
Source sentences:
text: In this partial order, two vertices u and v are ordered as u ≤ v exactly when there exists a directed path from u to v in the DAG; that is, when v is reachable from u.