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