Eine Folge $(a_n)$ heißt Cauchyfolge, wenn für jedes $\varepsilon>0$ ein $N$ existiert, sodass für alle $m,n\ge N$ gilt:
In $\mathbb R$ konvergiert jede Cauchyfolge.