A probability distribution in the sample space is a function $p$ assigning a number $p(s_i)$ to each possible outcome $s_i$ in $S$ (the probability of $s_i$), such that:
- values are exhaustive (cover everything)
- values are mutually exclusive (no overlap)
- , for all
- All probability values add up to .
This means, for example: .