\begin{definition}[Definition:Lottery/State-Variable Model]
A '''state-variable model''' is a technique to model decisions under uncertainty.
In a '''state-variable model''', a lottery is defined as a mapping from a set of possible states into a set of prizes.
\end{definition}