Definition:Finite Sequence