Definition:Sequence/Infinite Sequence

From ProofWiki
Jump to navigation Jump to search


An infinite sequence is a sequence whose domain is infinite.

That is, an infinite sequence is a sequence that has infinitely many terms.

On $\mathsf{Pr} \infty \mathsf{fWiki}$ all sequences are infinite sequences unless explicitly specified otherwise.

Also known as

Treatments of this subject which approach the definition of a sequence from the direction of ordered tuples offer the term $\omega$-tuple for the concept of a tuple whose domain is (countably) infinite.

Some sources use the term denumerable sequence.