:: deftheorem Def1111 defines -StoppingTime-like FINANCE5:def 8 :
for Omega being non empty set
for Sigma being SigmaField of Omega
for r being Real
for I being TheEvent of r
for Filt being Filtration of I,Sigma
for k being random_variable of Sigma, BorelSubsets I holds
( k is Filt -StoppingTime-like iff k is_StoppingTime_wrt Filt );