T measure-preserving on (X,μ), f ∈ L¹: (1/n) Σ f(Tⁱx) → E[f|ℐ] a.e. Time average = space average when T ergodic.