Definition 2.8.19.  Let R be a ring, n ∈ ℕ, a ∈ R. We define
n ⋅ a
by:
0 ⋅ a := 0R(x + 1) ⋅ a := x ⋅ a + a  (x ∈ ℕ)
References.