===$\mathbb{Q}_{S}$ não é compacto=== \\ Basta notar que $\{[n, n + 1[ \cap \mathbb{Q} : n \in \mathbb{N}\}$ é cobertura para $\mathbb{Q}_{S}$ sem subcobertura finita.