A sequence may be defined as a

relation, whose range $\subseteq \mathrm{N}$ (natural numbers) 

function whose range $\subseteq \mathrm{N}$

function whose domain $\subseteq \mathrm{N}$

progression having real values