===A reta de Sorgenfrey é paracompacta===
\\
Visto que $\mathbb{R}_{S}$ é regular e de Lindelöf, então é paracompacto, conforme mostrado aqui.