A set that has a given, elsewhere specified partial order.
The ordered pair comprising a set and its partial order.
A total order of some set such that every nonempty subset contains a least element.
To impose a well-order on (a set).