directed set

Meaning

1. noun A set equipped with a preorder such that for any two elements a and b there is an element c such that a ≤ c and b ≤ c.

Similar words

ordered set quasiorder upper set poset algebraic poset lower set total order totally ordered set preorder well-quasi-ordering