A set that has a given, elsewhere specified partial order.
The ordered pair comprising a set and its partial order.