= Stopping time {wiki} A random time $\tau$ is a stopping time when $\{\tau\leq n\}\in\mathcal F_n$ for every $n$.
Back to article page
