Definicja 

Ciągiem skończonym $k$-elementowym nazywamy dowolną funkcję, której dziedziną jest zbiór kolejnych dodatnich liczb naturalnych od $1$ do $k$, czyli zbiór $\{1,2,3,...,k\}$.