Solution (source code)

= Solution
{c}

The definition of <convergence of a sequence in a topological space> to $\ell$ is that every open neighborhood $U$ of $\ell$ contains all sufficiently late terms: there exists $N$ such that $x_n\in U$ for every $n\geq N$.