ThmDex – An index of mathematical definitions, results, and conjectures.
P3049
By definition, $\mathbb{E}(Z \mid \mathcal{G}) \in \mathcal{G}$. Thus, this result is a particular case of R2160: Conditional expectation of known random complex number. $\square$