This is an old revision of the document!
Natural number range
Definition
$ \mathrm{range}\cup\{\infty\}: \mathbb N\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}$ |