7.2.2 生成函数的定义及其性质