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