Joint distribution

Given two random variables $X$ and $Y$ over domains $A$ and $B$. The joint distribution of $X \oplus Y$ is over $A \times B$ and is given by

$$\mathbb{P}[X \oplus Y = (a,b)] = \mathbb{P}[X=a, Y=b].$$