\begin{definition}[Definition:Lottery/Probability Model]
A '''probability model''' is a technique to model decisions under uncertainty.
In a '''probability model''', a lottery is a probability distribution over a set of prizes.
\end{definition}