:: deftheorem defines Conv_RV FINANCE6:def 6 :
for Omega being non empty set
for F being SigmaField of Omega
for D being non empty b₂ -random-membered set
for ChiFuncs being sequence of D
for n being Nat holds Conv_RV (ChiFuncs,n) = ChiFuncs . n;