称有限集S的所有元素的乘积