为概率空间, 为其上的随机向量, 它的联合分布函数定义为