mrenspoi

valsi

mrenspoi

type

fu'ivla

creator

krtisfranks

time entered

Thu Feb 9 06:12:22 2017  

English

Definition #69218 - Preferred

 

definition

x₁ is the traditional/standard/classical strict total-order(ing) '<' which endows the (extended) real numbers.

notes

This is the order by which MATH

$-\infty (infty) < r < +\infty (infty)$

- ∞(infty) < r < + ∞(infty) for all r in the reals, MATH

$\dots < -2 < -1 < 0 < +1 < +2 < \dots$

... < -2 < -1 < 0 < +1 < +2 < ..., MATH

$0 < r_1/q < r_2/q < 1$

0 < r₁/q < r₂/q < 1 for all MATH

$r_1, r_2, q$

r₁, r₂, q in the naturals such that MATH

$r_1 < r_2 < q$

r₁ < r₂ < q, etc. Occasionally isomorphically intersects cleispoi and moinspoi. See also: enspoi.

gloss words

• traditional total-order of the reals

created by

krtisfranks

vote information

1

time

Tue Apr 24 21:32:15 2018

Examples

---