定义了自然数集上的乘法
发布人