A set together with a relation which is both transitive and reflexive such that for any two elements , there exists another element with and . In this case, the relation is said to "direct" the set.
Directed Set
See also
NetExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Directed Set." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/DirectedSet.html