theorem :: FINANCE3:34

for Omega, Omega2 being non empty set
for Sigma being SigmaField of Omega
for Sigma2 being SigmaField of Omega2
for I being non empty Subset of REAL
for Prob being Probability of Sigma
for MyFunc being Filtration of I,Sigma
for Stoch being Stochastic_Process of I,Sigma,Sigma2,Prob st Stoch is MyFunc -stoch_proc_wrt_to_Filtration holds
Stoch is Adapted_Stochastic_Process of I,Sigma,Sigma2,Prob,Stoch by Def30002;