离散型随机变量分布函数的定义是什么