==== Espaço métrico separável ====

\\ Para espaços metrizáveis ser separável e ter base enumerável são equivalentes como mostra a proposição.


\\ === Proposição ===
<WRAP round box 60%>
Se $(X,d)$ é um [[topologia:espacoMetrico|espaço métrico]] separável, então $(X,d)$ satisfaz o [[topologia:basesenumeraveis|segundo axioma de enumerabilidade]].
[[.:dem:demomarciapropEMS|Demonstração]]
</WRAP>