Bases locais enumeráveis, base enumerável e separável

Basta lembrar que são preservados por produto enumerável e satisfeitos por $[0,1]$ com a topologia usual.