===$\mathbb{Q}_{S}$ satisfaz $T_{0}$===
\\
Segue diretamente do fato que [[sorgenfreyt0|$\mathbb{R}_{S}$ satisfaz $T_{0}$]] e $\mathbb{Q}_{S}$ é subespaço de $\mathbb{R}_{S}$.