Category:Complete Order Topologies

This category contains results about Complete Order Topologies.

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

Let $\tau$ be the order topology on $\struct {S, \preceq}$.

Then $\tau$ is a complete order topology.

Hence $\struct {S, \preceq, \tau}$ is a complete order space.