A reta de Sorgenfrey é paracompacta


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