Local martingale

An adapted process $M$ is a local martingale when there are stopping times $T_n\uparrow \infty$ almost surely such that each stopped process $M_{t\wedge T_n}$ is a martingale. Every martingale is local, while a positive local martingale is a supermartingale.