The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Independent
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