lt
Order
OrderFunctions
PartialOrder
PartialOrderFunctions
lteqv
Order
OrderFunctions
PartialOrder
PartialOrderFunctions