Cada espacio normal X con una base con una cantidad contable de elementos (se pueden escribir como una sucesión), es metrizable.