Mathématiques, informatique, politique et poésie
Soit \(E\) un ensemble ordonné. Alors on peut munir \(E\) d'une topologie: la topologie engendrée par les "intervalles" de la forme \(\{x \in E|x
- La topologie de l'ordre sur \(\mathbb{R}\) est la topologie standard.
- Sur \(\mathbb{N}\) (ou \(\mathbb{N} \cup \{+\infty\}\)), c'est la topologie discrète.