:: deftheorem Def30000 defines Stochastic_Process FINANCE3:def 14 :
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 b₇ being Function of I,(set_of_random_variables_on (Sigma,Sigma2)) holds
( b₇ is Stochastic_Process of I,Sigma,Sigma2,Prob iff for k being Element of I ex RV being Function of Omega,Omega2 st
( b₇ . k = RV & RV is_random_variable_on Sigma,Sigma2 ) );