PartialOrder

algebra

PartialOrderFunctions

algebra

Preferred

Priority

Priority

algebra

partialCompare

Order PartialOrder PartialOrderFunctions

partialOrdering

PartialOrder

pmax

PartialOrder PartialOrderFunctions

pmin

PartialOrder PartialOrderFunctions