短语词组短语countable mean function 可数平均泛函countable valued function 可数值函数countable additivity set function 可列可加集函数 返回 countable function