\begin{definition}[Definition:Length of Sequence]
<section name="tc" notitle="true">
The '''length''' of a finite sequence is the number of terms it contains, or equivalently, the cardinality of its domain.
\end{definition}