Definition:Length of Sequence
Jump to navigation
Jump to search
Definition
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
- 2009: Kenneth Kunen: The Foundations of Mathematics ... (previous) ... (next): $\mathrm{II}.4$ Polish Notation: Notation $\mathrm{II}.4.2$
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): Appendix $\text{A}.3$: Definition $\text{A}.12$
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): length (of a sequence)