Note que $\bar{S} \subset \mathbb{R}^2$ e $\mathbb{R}^2$ é um espaço métrico, então, por $\bar{S}$ ser metrizável e também ser compacto, $\bar{S}$ admite base enumerável.