乘法的定义是什么?