:: deftheorem Def30000 defines Stochastic_Process FINANCE3:def 13 :
for Omega, Omega2 being non empty set
for Sigma being SigmaField of Omega
for Sigma2 being SigmaField of Omega2
for I being non empty real-membered set
for b₆ being Function of I,(set_of_random_variables_on (Sigma,Sigma2)) holds
( b₆ is Stochastic_Process of I,Sigma,Sigma2 iff for k being Element of I ex RV being Function of Omega,Omega2 st
( b₆ . k = RV & RV is Sigma,Sigma2 -random_variable-like ) );