:: deftheorem defines set_of_chi_RV FINANCE6:def 4 :
for Omega being non empty set
for F being SigmaField of Omega holds set_of_chi_RV F = { (chi (A,Omega)) where A is Element of F : chi (A,Omega) is random_variable of F, Borel_Sets } ;