Es sei ${\displaystyle {}K}$ ein angeordneter Körper. Eine Folge ${\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}$ in ${\displaystyle {}K}$ heißt Cauchy-Folge, wenn folgende Bedingung erfüllt ist.

Zu jedem ${\displaystyle {}\epsilon \in K}$, ${\displaystyle {}\epsilon >0}$, gibt es ein ${\displaystyle {}n_{0}\in \mathbb {N} }$ derart, dass für alle ${\displaystyle {}n,m\geq n_{0}}$ die Abschätzung

${\displaystyle {}\vert {x_{n}-x_{m}}\vert \leq \epsilon \,}$

gilt.