Definition:Finite Sequence
From ProofWiki
Contents |
Definition
A finite sequence is a sequence whose domain is finite.
Length of a Sequence
The length of a finite sequence is the number of terms it contains, or equivalently, the cardinality of its domain.
Sequence of n Terms
A sequence of $n$ terms is a (finite) sequence whose length is $n$.
Sources
- Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 11$: Numbers
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 18$
