This is an old revision of the document!
Natural number range
Definition
$ \mathrm{range}: \mathbb N\cup\{\infty\}\to\mathcal P(\mathbb N)$ |
$ \mathrm{range}(n):= \begin{cases} \{k\ |\ 1\leq k\leq n\} & \mathrm{if}\ n\in \mathbb N\\\\ \mathbb N & \mathrm{if}\ n=\infty \end{cases}$ |