Definition:Length of Sequence

From ProofWiki
Jump to: navigation, 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