Given a measurable space ({%\Omega%}, {% F %}), and a filtration { {%F_t%} }, a random time T is a stopping time if the event {% \{T\leq t\} \in F_t %}.