===== Natural number range =====
==== Set ====
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{range}: \mathbb N\cup\{\infty\}\to\mathcal P(\mathbb N)$ |
| @#FFBB00: definiendum | @#FFBB00: $ \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 ===
[[Natural number]]
=== Element of ===
[[Function]]