∀n ⩾ n1, d(xϕ(n),x) < ε/2.
Alors, ∀n ⩾ max (n0,n1), d(xn,x) ⩽ d(xn,xϕ(n)) + d(xϕ(n),x) < ε, ce qui montre que la suite converge.
Un espace métrique (X,d) est dit complet si toute suite de Cauchy converge.
Un ensemble est complet si toute suite de Cauchy de l'ensemble a une limite dans l'ensemble lui-même.
Une partie K de E est dite compacte si, de toute suite (un) d'éléments de K , on peut extraire une sous-suite convergente vers un élément de K .
En particulier, toute réunion finie ou toute intersection quelconque de parties compactes est compacte.