Iterated conditional expectation over nonnested sigma-algebras
= 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.