 Conditional-expectation martingale

For an integrable random variable $Z$ and an increasing filtration $({\mathcal{F}}_n)$, the process $M_n=\mathbb{E}[Z\mid {\mathcal{F}}_n]$ is a martingale. The tower property of conditional expectation gives the martingale identity.