ThmDex – An index of mathematical definitions, results, and conjectures.
P3620
Since we define $\mathbb{E}(X \mid X) : = \mathbb{E}(X \mid \sigma_{\text{pullback}} \langle X \rangle)$, this result is a special case of R4781: Conditional expectation of known random real number. $\square$