partially ordered set
Short definition from Wiktionary
Noun
- A set that has a given, elsewhere specified partial order.
- The ordered pair comprising a set and its partial order.
We haven’t written up partially ordered set yet: Simple and Standard meanings, examples and a quiz.