Así que reexpresado, tenemos que demostrar eso{τ≤t}∈Ft+ para cadat∈[0,∞) si y solo si{τ<t}∈Ft por cada\( t \in [0, \infty)...Así que reexpresado, tenemos que demostrar eso{τ≤t}∈Ft+ para cadat∈[0,∞) si y solo si{τ<t}∈Ft por cadat∈[0,∞). (Nota por cierto, que esto no es lo mismo que la afirmación de que para cadat∈T,{τ<t}∈Ft+ si y sólo si{τ≤t}∈Ft, que no es cierto.) Supongamos primero queτ es un tiempo de parada relativo aF.