der aus einem auf dem Wahrscheinlichkeitsraum \(({\rm{\Omega }},\space {\mathfrak{A}},\space P)\) definierten, bezüglich der Filtration \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) in \({\mathfrak{A}}\) progressiv meßbaren stochastischen Prozeß (X_t)_t∈[0,∞) mit Werten in ℝ^d und einer Stoppzeit τ bezüglich \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) durch die Definition \begin{eqnarray}{X}_{t\wedge \tau }:{\rm{\Omega }}\ni \omega \to {X}_{\min (t,\tau (\omega ))}(\omega )\in {{\mathbb{R}}}^{d}\end{eqnarray} für alle \(t\space \in \space {{\mathbb{R}}}_{0}^{+}\) erhaltene Prozeß (X_t∧τ)_t∈[0,∞). Der gestoppte Prozeß (X_t∧τ)_t∈[0,∞) ist ebenfalls bezüglich \({({{\mathfrak{A}}}_{t})}_{t\in [0,\infty )}\) progressiv meßbar.