Finite conditional expectation
Relative to a partition-generated sigma-algebra on a finite probability space, conditional expectation takes the weighted mean on each positive-mass block and preserves block integrals.
atlas-conditional-expectation · canonical_mko