$\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.