「定義」が何の定義なのかを書くほうが先だろ。

累加を自然数の掛け算の定義にしてしまうと、
有理数の掛け算へ拡張したときに
well defined であることに説明が必要になるが、
それがしてある教科書を見たことが無い。