Definition

A European Put Option with expiration $T$ and strike price $K$ is a derivative with payoff $$O_{T}=(K-S_{t})^{+}$$