Definition:Linear Continuum

From ProofWiki
Jump to: navigation, search

Definition

A totally ordered set $\left({S, \preceq}\right)$ is a linear continuum if and only if:

$(1): \quad \left({S, \preceq}\right)$ is densely ordered
$(2): \quad \left({S, \preceq}\right)$ is Dedekind complete


Sources