Definition 1.8.1.33.  Let n ∈ . We define:
Div(n) := {m ∈ + : m ∣ n}
Remarks.

We specifically exclude 0 from the set of divisors in order to simplify the definition of $quotient.

References.