Natural number range
Set
| definiendum | $ \mathrm{range}: \mathbb N\cup\{\infty\}\to\mathcal P(\mathbb N)$ |
| definiendum | $ \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}$ |
Discussion
Parents
Related
Element of
