Understanding the precise mathematical distinction between a sequence, a series, and a progression is the cornerstone of discrete algebra.
A sequence is an ordered succession of real numbers formed according to a definite rule or mathematical law.
- Finite Sequence: A sequence containing a finite number of terms, denoted $\langle a_n \rangle_{n=1}^m = \{a_1, a_2, \dots, a_m\}$.
- Infinite Sequence: A sequence that extends indefinitely, denoted $\langle a_n \rangle_{n=1}^\infty = \{a_1, a_2, a_3, \dots\}$.
If $a_1, a_2, a_3, \dots, a_n, \dots$ is a sequence, then the expression obtained by connecting the terms with addition signs is called a series:
$$S = a_1 + a_2 + a_3 + \dots + a_n + \dots = \sum_{k=1}^\infty a_k$$The sum of the first $n$ terms is known as the $n$-th partial sum:
$$S_n = a_1 + a_2 + \dots + a_n = \sum_{k=1}^n a_k$$A sequence is recursive (or defined by a recurrence relation) when each term after the initial terms is defined as a function of the preceding terms.