Mantido pelo grupo "Topologia do Interior"
Construa $f: \mathbb R \to B$ injetora, onde $B$ é uma base qualquer.