set g = {1,2,3,4} --> (In (r,REAL));
{1,2,3,4} --> (In (r,REAL)) is random_variable of Special_SigmaField1 , Borel_Sets by FINANCE3:10;
hence {1,2,3,4} --> r is Element of set_of_random_variables_on (Special_SigmaField1,Borel_Sets) by Lemacik; :: thesis: verum