Definition:Length of Sequence

Definition
The length of a finite sequence is the number of terms it contains, or equivalently, the cardinality of its domain.