:: deftheorem defines Real_RV FINANCE6:def 15 :
for Omega being non empty set
for F being SigmaField of Omega
for RV being Real-Valued-Random-Variable of F
for r being Real holds Real_RV (r,RV) = RV (#) (1 / (1 + r));