Showing changes from revision #1 to #2:
Added | Removed | Changed
A partial order over a type is an order (also called total order or linear order) if it comes with a family of dependent terms
representing the totality condition for the partial order. is called an ordered type, totally ordered type, or linearly ordered type.