:: deftheorem Def1 defines -StoppingTime-like FINANCE5:def 3 :
for Omega being non empty set
for Sigma being SigmaField of Omega
for T being Nat
for Filt being Filtration of StoppingSet T,Sigma
for k being Function of Omega,(StoppingSetExt T) holds
( k is Filt -StoppingTime-like iff k is_StoppingTime_wrt Filt,T );