Divisor Set

Type: definition

$\operatorname{div}(n)$ outputs a set for which
\[
  i\mid n
\]
for all $i\in\operatorname{div}(n)$.