分布函数的定义