Let (Ω, F, P) be a probability space, and let X be a random variable defined on (Ω, F, P). If A is a sub σ-field of F, then E(X ∣ A) is the a.s. unique A measurable function such that, for all A ε A, ...