Definition:Sequence/Infinite Sequence

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources