Category:Right Order Topology

From ProofWiki
Jump to navigation Jump to search

This category contains results about Right Order Topology.

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

Let $\tau$ be the topology on $S$ generated by the basis sets of the form:

$S_a = \set {x: a \prec x}$

for $a \in S$.


Then the topological space $\struct {S, \preccurlyeq, \tau}$ is known as the right order topology on $S$.