Topics: Discrete Mathematics - Relation
(definition)
A set with an order relation is called a partially ordered set (or poset, for short).
Posets have minimal and maximal elements. Subsets of posets have upper and lower bounds. The Supremum and Infimum and the Minimum and Maximum are specific cases of these bounds.