Table of Contents

Dense linear orders

Definition

A \emph{dense linear order} is a Chains $\mathbf{D}=\langle D,\le\rangle$ such that

$\le$ is \emph{dense}: $x<y\Longrightarrow\exists z (x<z$, $z<y)$

Remark:

Morphisms

Let $\mathbf{C}$ and $\mathbf{D}$ be dense linear orders. A morphism from $\mathbf{C}$ to $\mathbf{D}$ is a function $h:C\rightarrow D$ that is a orderpreserving:

$x\le y\Longrightarrow h(x)\le h(y)$

Examples

Example 1:

Basic results

Properties

Finite members

$\begin{array}{lr} None \end{array}$

Subclasses

Dense linear orders without endpoints

Superclasses

Chains

References