 Convergence in a metric space

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.