joint probability distribution

given two random variables that are defined on the same probability space, the joint probability distribution is the corresponding probability distribution on all possible pairs of outputs. it is denoted by

for any , let be a real random variable. for any finite subset , let

then is called the joint distribution function of . the probability measure on is called the joint distribution of .