Proposition

Let $\tau$ be a stopping time. Then, the stochastic interval $<span class="wikilink-unresolved" title="Note not published">0,\tau</span>\in\mathscr{P}$ is predictable.