「(ひとつ分)×(いくつ分)」が"掛け算の定義"だっていう意見があるけど、
まるで、プログラム「aを実数とする。bを整数とする。f(a,b)をa*bとする。」で言えば「aを実数とする。bを整数とする。」に相当する宣言をして「これがf(a,b)の定義だ」と言ってるような気が。