:: deftheorem defines RVProcess 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 real-membered set
for Stoch being Stochastic_Process of I,Sigma,Sigma2
for k being Element of I holds RVProcess (Stoch,k) = Stoch . k;