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, admite bases locais enumeráveis.