Soient ${\displaystyle (E,\leq )}$ un ensemble ordonné et ${\displaystyle <}$ l'ordre strict associé. On appelle intervalles ouverts de ${\displaystyle (E,\leq )}$ les ensembles de l'une des formes suivantes, où ${\displaystyle x}$ et ${\displaystyle y}$ désignent des éléments quelconques de ${\displaystyle E}$ :

1. une demi-droite ouverte à droite ou à gauche : ${\displaystyle \left]x,\to \right]=\{t\in E\mid x<t\}}$ ou ${\displaystyle \left[\leftarrow ,y\right[=\{t\in E\mid t<y\}}$ ;
2. un intervalle de la forme : ${\displaystyle \left]x,y\right[=\left]x,\to \right]\cap \left[\leftarrow ,y\right[}$ ;
3. l'intervalle ${\displaystyle \left[\leftarrow ,\to \right]=E}$.

Si l'ordre ${\displaystyle \leq }$ est total, l’intersection de deux intervalles ouverts est un intervalle ouvert.

Soit ${\displaystyle (E,\leq )}$ un ensemble ordonné. On définit alors la topologie associée à cet ordre comme la topologie sur ${\displaystyle E}$ dont une prébase est l'ensemble des intervalles ouverts.

D'après la propriété précédente, si l'ordre est total, les intervalles ouverts forment même une base de cette topologie.

La droite réelle achevée est l'ensemble ${\displaystyle {\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,+\infty \}}$ muni de son ordre naturel : c'est l'ensemble ordonné usuel ${\displaystyle \mathbb {R} }$, auquel on ajoute un plus petit élément, ${\displaystyle -\infty }$, et un plus grand élément, ${\displaystyle +\infty }$. Cet ordre est total. Pour la topologie associée :

• les voisinages d'un réel sont les mêmes que ceux définis par la topologie usuelle sur ${\displaystyle \mathbb {R} }$, augmentés éventuellement de ${\displaystyle -\infty }$ ou de ${\displaystyle +\infty }$ ;
• les voisinages de ${\displaystyle +\infty }$ sont les parties de ${\displaystyle {\overline {\mathbb {R} }}}$ contenant une demi-droite ${\displaystyle \left]x,\to \right]=\left]x,+\infty \right]}$ ;
• de même, les voisinages de ${\displaystyle -\infty }$ sont les parties contenant une demi-droite ${\displaystyle \left[-\infty ,y\right[}$.

Pour la topologie de l'ordre sur l'ensemble ${\displaystyle {\overline {\mathbb {N} }}=\mathbb {N} \cup \{+\infty \}\subset {\overline {\mathbb {R} }}}$ (muni de l'ordre induit) :

• les voisinages d'un entier sont les parties de ${\displaystyle {\overline {\mathbb {N} }}}$ contenant cet entier ;
• les voisinages de ${\displaystyle +\infty }$ sont les complémentaires d'un ensemble fini d'entiers.

Cette topologie coïncide donc avec la topologie induite par celle de ${\displaystyle {\overline {\mathbb {R} }}}$.