Es sei L{\displaystyle {}L} eine Menge, (xn)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(xn))n∈N{\displaystyle {}{\left(f(x_{n})\right)}_{n\in \mathbb {N} }} die Bildfolge unter der Abbildung f{\displaystyle {}f}.