Definition:Finite Sequence

Definition
A finite sequence is a sequence whose domain is finite.