What is the meaning of Partially_ordered_set?

A set that has a given, elsewhere specified partial order.

The ordered pair comprising a set and its partial order.

Source: wiktionary.org