for Omega, Omega2 being non empty set
for F being SigmaField of Omega
for F2 being SigmaField of Omega2 holds Omega --> the Element of Omega2 is random_variable of F,F2 by LemmaExample;