Une dÃ © finition plus formelle d'une séquence finie avec des termes dans un ensemble S est fonction de S pour certains n -RRB- 0. Une séquence infinie dans S est fonction de S. Par exemple, la séquence des nombres premiers -LRB- 2,3,5,7,11, â -RRB- est la fonction 1 â '2, 2 â' 3, 3 â '5, 4 â' 7, 5 â '11, â.
Par exemple, -LRB- 1, 2, 3, 4, 5 -RRB- est une séquence finie.