It is the probability of all possible pairs of two random variables.

Discrete Case

Given on where

The joint probability mass function:

where the marginal distribution is

and similarly with .

Example

Let be the infinite sequence of coin flips,

and let each flip be independent and fair.

Suppose we had a RV, where , the sum of the first coin flips.

Conditional Distribution of given event . Or,

Let be an event in where . Then, let

The Conditional Probability mass function of given is

Example

Throw fair dice . Let

The sample space of is .

where .

Returning back to , we get

We can find the expected value also:

We have:

Without the conditional event ,