Convergence in a metric space (source code)

= Convergence in a metric space
{title2=$x_n\to x$}

A sequence $(x_n)$ converges to $x$ in a metric space when $d(x_n,x)\to0$, equivalently when every neighbourhood of $x$ contains all sufficiently late terms.