离散随机向量的概率分布列具有基本性质（ ）。