Independent sigma-algebras have trivial intersection (source code)

= Independent sigma-algebras have trivial intersection

If sub-sigma-algebras $\mathcal G$ and $\mathcal H$ are independent, every event in $\mathcal G\cap\mathcal H$ is independent of itself and consequently has probability zero or one. Thus
$$
\mathbb E[X\mid\mathcal G\cap\mathcal H]=\mathbb E[X]
$$
almost surely for every integrable random variable $X$.