symmetric monoidal (∞,1)-category of spectra
A totally ordered ring is an ordered ring whose order forms a total order.
This definition is adapted from Peter Freyd‘s definition of a totally ordered abelian group:
A totally ordered ring is an pseudolattice ordered ring such that for all elements in , or .
In a totally ordered ring, the join is usually called the maximum, while the meet is usually called the minimum
If the relation is only a preorder, then the pseudolattice preordered ring is said to be a totally preordered ring.
The integers, the rational numbers, and the real numbers are totally ordered rings.
Last revised on December 7, 2022 at 15:58:30. See the history of this page for a list of all contributions to it.