Then it is Lindelöf, and because Lindelöf + regular implies paracompact, X is metrizable.
Maka ia adalah Lindelöf dan karena Lindelöf + reguler mengimplikasikan sifat parakompak, X adalah dapat dimetrisasi (metrisable).