A stopping time with respect to a filtration is a nonnegative extended random
variable
such that
for every .
Thus, the decision whether stopping has occurred by time
depends only on information available by that time, not on
future observations. First hitting times of suitably adapted stochastic
processes are basic examples.