Joint distribution

Given two random variables and over domains and . The joint distribution of is over and is given by