Solution (source code)

= Solution

\b[False.] The rational numbers with the Euclidean metric are countable and have no <isolated point>.