General Topology/Countability, density

Since subsets of countable sets are countable and the open neighbourhoods generate $N(x)$, second-countability implies first-countability.

Template:Proposition