 Iterated conditional expectation over nonnested sigma-algebras

ID: iterated-conditional-expectation-over-nonnested-sigma-algebras

In general,

E [E [X ∣ G] ∣ H] \neq = E [X ∣ G \cap H] .

Equality does hold when either sigma-algebra contains the other or when they are independent.

 New to topics? Read the docs here!