Definition:Densely Ordered/Subset
Jump to navigation
Jump to search
Definition
Let $\struct {S, \preceq}$ be an ordered set.
A subset $T \subseteq S$ is said to be densely ordered in $\struct {S, \preceq}$ if and only if:
- $\forall a, b \in S: a \prec b \implies \exists c \in T: a \prec c \prec b$
Warning
An intuitive understanding of the concept of densely ordered subset is likely to lead you astray.
Note that, for example, the closed real interval $\closedint 0 1$ is not densely ordered in $\R$.
This is because, while $\R$ is densely ordered in itself, and so is $\closedint 0 1$, the elements $2$ and $3$ in $\R$ have no elements of $\closedint 0 1$ between them.
This is just how the definition is constructed.
Also known as
The term close packed is also used for densely ordered.
Some sources merely use the term dense.
Also see
Compare with the topological concepts:
- Results about densely ordered sets can be found here.
Sources
There are no source works cited for this page. Source citations are highly desirable, and mandatory for all definition pages. Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted. To discuss this page in more detail, feel free to use the talk page. |