Let be a Probability Space and a countable set.
A family of events is independent if
for all finite subsets :
A family of sub-sigma-algebras of is independent
if and only if
the family is independent whenever for all .
Theorem
Let and be pi-systems contained in and suppose that
whenever and .
Then and are independent.
Proof