Iterated conditional expectation over nonnested sigma-algebras (source code)

= Iterated conditional expectation over nonnested sigma-algebras

In general,
$$
\mathbb E[\mathbb E[X\mid\mathcal G]\mid\mathcal H]
\ne\mathbb E[X\mid\mathcal G\cap\mathcal H].
$$
Equality does hold when either sigma-algebra contains the other or when they are independent.