Definition:Lottery

Definition
A lottery is a game in which the consequence of each move is determined by the realization of a random variable.

Let $X$ denote the set of prizes which a player may receive.

Let $\Omega$ denote the set of possible states.

A lottery is a mapping $f: X \times \Omega \to \R_{\ge 0}$ such that:
 * $\forall t \in \Omega: \displaystyle \sum_{x \mathop \in X} f \left({x, t}\right) = 1$