Arithmetic function
divisors(n) = D(n) = { x | ∀x ∈ ℕ. x∣n ∧ 0<=x<=n }
divisors(28) = D(28) = { x | ∀x ∈ ℕ. x∣28 ∧ 0<=x<=n } = {1,2,4,7,14,28}
d(n) = |D(n)|
d(28) = |D(28)| = 6
divisor: n ⟼ d(n)
divisor(n) = d(n)
divisor(28) = 6
divisor(1) = 1
divisor(2) = 2
divisor(3) = 2
divisor(4) = 3Last updated