:: deftheorem defines Straddle FINANCE6:def 6 :
for Omega being non empty set
for F being SigmaField of Omega
for RV being random_variable of F, Borel_Sets
for K being Element of REAL holds Straddle (RV,K) = (Put-Option (RV,K)) + (Call-Option (RV,K));