Mantido pelo grupo "Topologia do Interior"
Lembre que ter base enumerável é uma propriedade herdada por subespaços.