===== Set of divisors function =====
==== Function ====

| @#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\}  $ |

>make this into a set

-----
=== Code ===
A related Boolean function is
<code haskell>
divides :: Integral a => a -> a -> Bool
divides d n = rem n d == 0
</code>

-----
=== Subset of ===
[[Function]]
=== Requirements ===
[[Natural numbers]]