Lottery (source code)

= Lottery

A <probability distribution> over possible outcomes. A finite lottery assigning probabilities $p_j$ to outcomes $\omega_j$ has <expected utility> $\sum_jp_j u(\omega_j)$. Mixing <lotteries> mixes their outcome probabilities; the <independence axiom for lottery preferences> describes how this operation preserves preference comparisons.