自然数的乘法如何定义?