:: deftheorem defines Change_Element_to_Func FINANCE6:def 9 :
for Omega being non empty set
for F being SigmaField of Omega
for q being Nat
for G being sequence of (set_of_random_variables_on (F,Borel_Sets)) holds Change_Element_to_Func (G,q) = G . q;