In der Mathematik ist eine Folge eine durch natürliche Zahlen indizierbare Teilmenge einer Menge (siehe Mengenlehre). Man schreibt eine Folge als .

Eine Cauchyfolge ist eine spezielle Folge. Sie kann nur definiert werden, wenn auf der Ausgangsmenge eine Metrik vorhanden ist. Ein solches Paar wird als metrischer Raum bezeichnet.

Eine Folge in heißt Cauchyfolge, wenn es zu jedem reellen ein aus den natürlichen Zahlen gibt, sodass für alle folgendes Konvergenzkriterium gilt:

.