Definition:Conditional Expectation on Sigma-Algebra