:: deftheorem RanDef defines -random-membered FINANCE6:def 5 :
for Omega being non empty set
for F being SigmaField of Omega
for X being set holds
( X is F -random-membered iff for x being object st x in X holds
x is random_variable of F, Borel_Sets );