Endliche Menge/Wahrscheinlichkeitsraum/Definition

Endlicher Wahrscheinlichkeitsraum

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