# Differences

This shows you the differences between two versions of the page.

 natural_number_range [2013/09/07 21:41]nikolaj natural_number_range [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/08 16:01 nikolaj 2013/09/07 21:41 nikolaj 2013/09/06 22:04 external edit2013/08/16 14:53 nikolaj 2013/08/15 09:13 nikolaj 2013/08/15 09:13 nikolaj 2013/08/14 22:20 nikolaj 2013/08/04 19:41 nikolaj created Next revision Previous revision 2013/09/08 16:01 nikolaj 2013/09/07 21:41 nikolaj 2013/09/06 22:04 external edit2013/08/16 14:53 nikolaj 2013/08/15 09:13 nikolaj 2013/08/15 09:13 nikolaj 2013/08/14 22:20 nikolaj 2013/08/04 19:41 nikolaj created Line 1: Line 1: ===== Natural number range ===== ===== Natural number range ===== - ==== Definition ​==== + ==== Set ==== - | @#FFBB00: $\mathrm{range}\cup\{\infty\}: \mathbb N\to\mathcal P(\mathbb N)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $\mathrm{range}: \mathbb N\cup\{\infty\}\to\mathcal P(\mathbb N)$ | - | @#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}$ | + | @#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}$ | - ==== Ramifications ​==== + ==== Discussion ​==== ==== Parents ==== ==== Parents ==== - === Context ​=== + === Related ​=== [[Natural number]] [[Natural number]] === Element of === === Element of === [[Function]] [[Function]]