Definition:Extended Real Sequence

Definition
An extended real sequence is a sequence (usually infinite) whose codomain is the extended real number line.

Also see

 * Definition:Real Sequence