Sequence

Sei \(X\) eine Menge, dann ist eine Folge eine Abbildung \(f: \mathbb{N} \rightarrow X\), wobei man auch

\begin{align*} (a_n)_{n \in \mathbb{N}} \end{align*}

schreibt für

\begin{align*} a_n \coloneqq f(n) \end{align*}