Martingale (source code)

= Martingale
{wiki}

An integrable adapted process $(M_n)$ is a martingale when $\mathbb E[M_{n+1}\mid\mathcal F_n]=M_n$.