Es sei L {\displaystyle {}L} eine Menge, ( x n ) n ∈ N {\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }} eine Folge in L {\displaystyle {}L} und
eine Abbildung in eine weitere Menge M {\displaystyle {}M} . Dann heißt ( f ( x n ) ) n ∈ N {\displaystyle {}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }} die Bildfolge unter der Abbildung f {\displaystyle {}f} .
