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} }]} .