and are independent if for all values :
Several variables are independent if this product rule holds for every choice of values of every subfamily.
Examples
Example 34.5 (Binomial revisited)
A binomial variable is a sum of independent Bernoulli variables. Hence, structurally:
recovering Theorem 33.8 without any computation.