Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
A comparison on a set $A$ is a (binary) relation $\sim$ on $A$ such that in every pair of related elements, any other element is related to one of the original elements in the same order as the original pair:
which generalises from $3$ to any (finite, positive) number of elements. To include the case where $n = 1$, we must explicitly state that the relation is irreflexive.
Comparisons are most often studied in constructive mathematics. In particular, the relation $\lt$ on the (located Dedekind) real numbers is a comparison, even though its negation $\geq$ is not constructively total. (Indeed, $\lt$ is a linear order, even though $\geq$ is not constructively a total order.)
Last revised on January 20, 2017 at 10:19:15. See the history of this page for a list of all contributions to it.