Eine endliche Menge ${\displaystyle {}M}$ zusammen mit einer fixierten diskreten Wahrscheinlichkeitsdichte ${\displaystyle {}f\colon M\rightarrow \mathbb {R} _{\geq 0}}$ und mit der Potenzmenge aller Ereignisse nennt man einen endlichen Wahrscheinlichkeitsraum.