Convergence in a metric space ($x_n\to x$)

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