ein auf dem mit der Filtration \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) versehenen Wahrscheinlichkeitsraum \(({\rm{\Omega }},{\mathfrak{A}},P)\) definierter stochastischer Prozeß (X_t)_t∈[0,∞) mit Werten in \(({\mathbb{R}},{\mathfrak{B}}({\mathbb{R}}))\), für den erstens die Zufallsvariable X₀\({{\mathfrak{A}}}_{0}\text{-}{\mathfrak{B}}({\mathbb{R}})\)-meßbar ist und zweitens eine Folge (τ_n)_n∈ℕ von Stoppzeiten bezüglich \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) existiert, welche P-fast sicher monoton wächst und mit wachsendem n gegen Unendlich strebt, d. h. τ_n ↑ ∞ (P-f.s.), so daß der Prozeß \begin{eqnarray}{({X}_{t\wedge {\tau }_{n}}-{X}_{0})}_{t\in [0,\infty )}\end{eqnarray} für jedes n ∈ ℕ ein Martingal bezüglich \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) ist.

Dabei bezeichnet \({X}_{t\wedge {\tau }_{n}}\) für jedes n ∈ ℕ und t ≥ 0 die durch \begin{eqnarray}{X}_{t\wedge {\tau }_{n}}:{\rm{\Omega }}\ni \omega \to {X}_{\min (t,{\tau }_{n}(\omega ))}(\omega )\in {\mathbb{R}}\end{eqnarray} definierte Abbildung und \({\mathfrak{B}}({\mathbb{R}})\) die σ-Algebra der Borelschen Mengen von ℝ.

Für Prozesse mit Parametermenge ℕ₀ wird der Begriff des lokalen Martingals entsprechend definiert.