partially ordered set
Definition from Wiktionary, the free dictionary
English[edit]
Noun[edit]
partially ordered set (plural partially ordered sets)
 (set theory) A set having a specified partial order.
 (set theory) Said set together with said partial order; the ordered pair of said set and said partial order.
Usage notes[edit]
 The two senses are commonly used interchangeably, there rarely being a need to distinguish between the two entities.
Synonyms[edit]
 poset
 See also Wikisaurus:partially ordered set
Hyponyms[edit]
Translations[edit]
set having a specified partial order

