Local martingale
= Local martingale
{wiki}
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.