Definition:Denumerable Sequence