=== Bases locais enumeráveis e base enumerável===
Basta lembrar que são herdados por [[topologia:subespaco|subespaços]] e satisfeitos por $\mathbb{R}$ com a [[topologia:exemplo:retausual|topologia usual]].

\\
=== Separável ===
Segue de possuir base enumerável. <wrap help>[[dem:demoprop1|Demo]].</wrap>

Por exemplo, $\mathbb{Q}\cap [0,1]$ é denso (em $[0,1]$) enumerável.