===$\mathbb{Q}_{S}$ satisfaz $T_{4}$ e é normal===
\\
Como $\mathbb{Q}_{S}$ é regular e enumerável, então é normal. Tal resultado pode ser encontrado [[|aqui]].