Homotopy Type Theory
order > history (Rev #2)
Definition
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.
See also
Revision on March 12, 2022 at 03:17:07 by
Anonymous?.
See the history of this page for a list of all contributions to it.