An EXCHANGEtraded OPTION granting the buyer the right, but not the obligation, to sell a FUTURES contract at a prespecified STRIKE PRICE. See also FUTURES CALL.
