# Category:Total Orderings

Jump to navigation
Jump to search

This category contains results about Total Orderings.

Definitions specific to this category can be found in Definitions/Total Orderings.

Let $\mathcal R \subseteq S \times S$ be a relation on a set $S$.

$\mathcal R$ is a **total ordering** on $S$ if and only if:

That is, $\mathcal R$ is an ordering with no non-comparable pairs:

- $\forall x, y \in S: x \mathop {\mathcal R} y \lor y \mathop {\mathcal R} x$

## Subcategories

This category has the following 7 subcategories, out of 7 total.

### G

### L

### M

### O

### T

### W

## Pages in category "Total Orderings"

The following 55 pages are in this category, out of 55 total.

### C

### D

### E

### F

### I

- Immediate Predecessor in Toset is Unique
- Immediate Successor in Toset is Unique
- Immediate Successor is Unique in Toset
- Injection Induces Total Ordering
- Intersection of Strict Lower Closures in Toset
- Intersection of Strict Upper Closures in Toset
- Intersection of Weak Lower Closures in Toset
- Intersection of Weak Upper Closures in Toset

### L

### M

- Mapping from Totally Ordered Set is Dual Order Embedding iff Strictly Decreasing
- Mapping from Totally Ordered Set is Order Embedding iff Strictly Increasing
- Mapping from Totally Ordered Set is Order Embedding iff Strictly Increasing/Reverse Implication
- Mapping from Totally Ordered Set is Order Embedding iff Strictly Increasing/Reverse Implication/Proof 1
- Mapping from Totally Ordered Set is Order Embedding iff Strictly Increasing/Reverse Implication/Proof 2
- Maximal Element in Toset is Unique and Greatest
- Mind the Gap
- Minimal Element in Toset is Unique and Smallest
- Minimal Infinite Successor Set is Well-Ordered
- Monomorphism from Total Ordering

### O

- Open Ray is Dual to Open Ray
- Order Embedding between Quotient Fields is Unique
- Order Isomorphism between Tosets is not necessarily Unique
- Order Isomorphism on Totally Ordered Set preserves Total Ordering
- Ordered Product of Tosets is Totally Ordered Set
- Ordered Product of Tosets is Totally Ordered Set/General Result
- Ordered Sum of Tosets is Totally Ordered Set
- Ordered Sum of Tosets is Totally Ordered Set/General Result
- Ordering on Extended Real Numbers is Total Ordering