Càdlàg martingale (source code)

= Càdlàg martingale

A <càdlàg martingale> is a continuous-time <martingale> represented by a <càdlàg process>: its paths are right-continuous and have finite left limits at positive times, on one common probability-one event. This path regularity permits approximation of <stopping times> from above.