Es sei ( x n ) n ∈ N {\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }} eine Folge in einer Menge M {\displaystyle {}M} . Zu jeder streng wachsenden Abbildung N ⟶ N {\displaystyle {}\mathbb {N} \longrightarrow \mathbb {N} } , i ⟼ n i {\displaystyle {}i\longmapsto n_{i}} , heißt die Folge
eine Teilfolge der Folge.
