Man sagt, dass die Folge konvergiert, wenn es ein x ∈ M {\displaystyle {}x\in M} gibt, das folgende Eigenschaft erfüllt:
Zu jedem ϵ ∈ R {\displaystyle {}\epsilon \in \mathbb {R} } , ϵ > 0 {\displaystyle {}\epsilon >0} , gibt es ein n 0 ∈ N {\displaystyle {}n_{0}\in \mathbb {N} } derart, dass für alle n ≥ n 0 {\displaystyle {}n\geq n_{0}} die Beziehung
gilt.