:: deftheorem Def2x defines SetForPut-Option FINANCE6:def 4 :
for Omega being non empty set
for RV being Function of Omega,REAL
for w being Element of Omega holds
( ( RV . w >= 0 implies SetForPut-Option (RV,w) = RV . w ) & ( not RV . w >= 0 implies SetForPut-Option (RV,w) = 0 ) );