Definition
A set equipped with a Partial Order Relation
Facts
A partial ordinary set can only have one greatest or least element.
If a partial ordinary set has a greatest or least element, it must be the unique maximal or minimal element, respectively. Otherwise, there can be more than one maximal or minimal element.