Multiple Set

Type: definition

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