Em geral, para produtos finitos, o produto de bases é uma base para o produto. Como $\mathbb{R}$ admite base enumerável e o produto finito de conjuntos enumeráveis é ainda enumerável, então $\mathbb{R}^n$ admite base enumerável.