连乘定义