Let \((x_n)_{n\in\mathbb N}\) be a sequence in the metric space \((X,d)\), which is convergent against the limits \(x\) and \(x'\):
\[\lim_{n\rightarrow\infty} x_n=x\quad\quad\text{and}\quad\quad\lim_{n\rightarrow\infty} x_n=x'.\]
Then both limits are identical, or \(x=x'\)1.
Proofs: 1
Parts: 1
Proofs: 2
Propositions: 3
This proposition makes the notation \(\lim_{n\rightarrow\infty} x_n=x\) meaningful. ↩