Limit Is Conditional Expectation onto Invariant Sigma-Algebra