:: deftheorem Def770 defines Conv2_RV FINANCE6:def 7 :
for Omega being non empty set
for F being SigmaField of Omega
for D being non empty b₂ -random-membered set
for ConstFuncs being sequence of D
for w being Element of Omega
for b₆ being Function of NAT,REAL holds
( b₆ = Conv2_RV (ConstFuncs,w) iff for n being Nat holds b₆ . n = (Conv_RV (ConstFuncs,n)) . w );