Solution (source code)

= Solution

The <Baire category theorem> says that a complete metric space cannot be a countable union of nowhere-dense closed sets. Equivalently, every countable intersection of open dense sets is dense.

A point $x$ of a metric space is an <isolated point> when some $\varepsilon>0$ satisfies $B(x,\varepsilon)=\{x\}$.