Category:Linearly Ordered Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Linearly Ordered Spaces.
Definitions specific to this category can be found in Definitions/Linearly Ordered Spaces.


Let $\struct {S, \preceq}$ be a linearly ordered set.

Let $\tau$ be the order topology on $S$.


Then $\struct {S, \preceq, \tau}$ is a linearly ordered space.