Category:Order Topology

From ProofWiki
Jump to navigation Jump to search

This category contains results about Order Topology.
Definitions specific to this category can be found in Definitions/Order Topology.

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

Let $\XX$ be the set of open rays in $S$.

Let $\tau$ be the topology on $S$ generated by $\XX$.


Then $\tau$ is called the order topology on $S$.