Como $\mathbb{Q}_{S}$ possui base enumerável, então é separável.