Topologia da ordem
Seja X um conjunto totalmente ordenado. Definimos a topologia da ordem em X como a gerada pelo conjuntos da forma
\begin{align*}
(a,b) = \{ x \in X : a < x < b \} \\
[-\infty,b) = \{ x \in X : x < b \} \\
(a,\infty] = \{ x \in X : a < x \} \\
\end{align*}