Uniqueness of limits

Uniqueness of limits: Let $(X,d)$ be a metric space and let $(x_n)$ be a sequence in $X$. If $x_n\to x$ and $x_n\to y$, then $x=y$.

This lemma is a basic structural fact about metric convergence and is used everywhere (for example, to identify a limit by proving two different candidate limits).