Definition:Sequence/Infinite Sequence

Definition
An infinite sequence is a sequence whose domain is infinite.

That is, an infinite sequence is a sequence with an infinite number of terms.

Note
On ProofWiki all sequences are infinite sequences unless explicitly specified otherwise.