# Definition:Real Sequence

A real sequence is a sequence (usually infinite) whose codomain is the set of real numbers $\R$.