Definição: Chamamos de Reta de Sorgenfrey o conjunto $\mathbb{R}$ dos números reais dotado da topologia $\tau_{S} = \{A \subset \mathbb{R} : \forall x \in A, \exists \epsilon > 0, [x, x+\epsilon[ \subset A\}$. Denotaremos tal espaço topológico por $\mathbb{R}_{s}$.