ProbabilityTheoryStochasticProcesses
A Random Variable is a stopping time w.r.t. a filtration if
and has the associated -algebra of the past up to
where clearly is -measurable.
Examples:
The hitting time of closed set by a continuous Stochastic Process:
as is continuous.