Eine rationale Cauchy-Folge ( x n ) n ∈ N {\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }}
konvergiert im Cauchy-Folgen-Modell gegen die Äquivalenzklasse [ ( x n ) n ∈ N ] {\displaystyle {}[{\left(x_{n}\right)}_{n\in \mathbb {N} }]} .