directed set
Short definition from Wiktionary
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.
We haven’t written up directed set yet: Simple and Standard meanings, examples and a quiz.