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