Directed Set

A set S together with a relation >= which is both transitive and reflexive such that for any two elements a,b in S, there exists another element c in S with c>=a and c>=b. In this case, the relation >= is said to "direct" the set.

See also


Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Directed Set." From MathWorld--A Wolfram Web Resource.

Subject classifications