In constructive mathematics, pseudo-order is a name given to certain binary relations appropriate for modeling continuous orderings. In classical mathematics, its axioms constitute a formulation of a strict total order (also called linear order), which in that context can also be defined in other, equivalent ways.
In constructive mathematics, pseudo-order is a name given to certain binary relations appropriate for modeling continuous orderings. In classical mathematics, its axioms constitute a formulation of a strict total order (also called linear order), which in that context can also be defined in other, equivalent ways.
Source: Wikipedia "Pseudo-order" · CC BY-SA 4.0
Share this article: X · Bluesky