Rel, bicategory of relations, allegory
left and right euclidean;
extensional, well-founded relations.
A strict total order which is not a connected relation.
A strict weak order is a strict preorder which is also a cotransitive relation.
These are sometimes called strict partial orders in the literature, but the term “strict partial order” is also used for other order relations in mathematics.
Strict weak orders are used in models of the real numbers which have infinitesimals, such as in the smooth real numbers in synthetic differential geometry, and thus where not every real number not greater than or less than zero is equal to zero.
Strict weak orders are asymmetric relations.
Transitivity of says that for all and , and implies . However, irreflexivity says that for all , is always false. This implies that for all and , and is always false, which is precisely the condition of asymmetry.
Connected strict weak orders are pseudo-orders.
The proof is the same as above, except both relevant orders are connected relations.
An important part of a strict weak order is that it is a preorder.
The negation of a strict weak order is transitive.
The contrapositive of cotransitivity says that
for all , , and , if or is false, then is false.
By one of de Morgan's laws, that or is false is logically to equivalent to that and , and substituting this into the original statement results in
if and , then
which is precisely transitivity for the negation of the strict weak order.
The negation of a strict weak order is reflexive.
Irreflexivity states that is true, which is precisely reflexivity for the negation of the strict weak order.
The negation of a strict weak order is a preorder.
The incomparability relation of a strict weak order, , is an equivalence relation
For every preorder, is an equivalence relation. Since is a preorder, is an equivalence relation.
Strict weak orders are called strict partial orders in section 4.1 of:
Strict weak orders are used in defining the smooth real numbers in:
Last revised on July 10, 2024 at 15:55:25. See the history of this page for a list of all contributions to it.