 Localizing sequence

A localizing sequence for a local martingale $M$ is an increasing sequence of stopping times $T_n\uparrow \infty$ almost surely such that every stopped process $M^{T_n}$ is a true martingale. One can often choose the times so that the stopped processes are bounded.