and are independent when
Whether happens or not does not affect the probability of .
By definition of ,
In this case, is the joint and is the marginal distributions.
If is independent of , is also independent of .
Furthermore, if and are independent, the following three are also independent.