Definition:Linear Continuum

From ProofWiki
Jump to navigation Jump to search

Definition

A totally ordered set $\struct {S, \preceq}$ is a linear continuum if and only if:

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


Sources