theorem :: RANDOM_1:29

for Omega being non empty finite set
for f being Function of Omega,REAL holds f is Real-Valued-Random-Variable of (Trivial-SigmaField Omega)