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