Definition:Right Order Topology

Definition
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$.

Also see

 * Definition:Order Topology
 * Definition:Left Order Topology

Examples

 * Definition:Right Order Topology on Strictly Positive Integers
 * Definition:Right Order Topology on Real Numbers