theorem :: FINANCE1:10

for Omega being non empty set
for Sigma being SigmaField of Omega
for s being Real
for f being Function of Omega,REAL st f = Omega --> s holds
f is Sigma, Borel_Sets -random_variable-like