Category:Definitions/Densely Ordered
Jump to navigation
Jump to search
This category contains definitions related to Densely Ordered.
Related results can be found in Category:Densely Ordered.
Let $\struct {S, \preceq}$ be an ordered set.
Then $\struct {S, \preceq}$ is defined as densely ordered if and only if strictly between every two elements of $S$ there exists another element of $S$:
- $\forall a, b \in S: a \prec b \implies \exists c \in S: a \prec c \prec b$
where $a \prec b$ denotes that $a \preceq b$ but $a \ne b$.
Pages in category "Definitions/Densely Ordered"
The following 6 pages are in this category, out of 6 total.