 Stopping time

A random time $\tau$ is a stopping time when $\{\tau \le n\}\in {\mathcal{F}}_n$ for every $n$.