Real numbers/Sequence/Definition

Real sequence

A real sequence is a mapping

$\mathbb {N} \longrightarrow \mathbb {R} ,n\longmapsto x_{n}.$