\begin{definition}[Definition:Linear Continuum]
A totally ordered set $\struct {S, \preceq}$ is a '''linear continuum''' {{iff}}:
:$(1): \quad \struct {S, \preceq}$ is densely ordered
:$(2): \quad \struct {S, \preceq}$ is Dedekind complete
\end{definition}