Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
set_of_divisors_function [2015/04/25 18:18] nikolaj |
set_of_divisors_function [2016/05/24 19:19] nikolaj |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}:\mathbb N^+\to\mathcal{P}(\mathbb N) $ | | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}:\mathbb N^+\to\mathcal{P}(\mathbb N) $ | | ||
| | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}(n):=\{a\ |\ \exists (b\in\mathbb N).\ a\cdot b=n\} $ | | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{divisors}(n):=\{a\ |\ \exists (b\in\mathbb N).\ a\cdot b=n\} $ | | ||
| + | |||
| + | >make this into a set | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
