Zu einer endlichen Menge ${\displaystyle {}M}$ nennt man eine Abbildung

${\displaystyle f\colon M\longrightarrow \mathbb {R} _{\geq 0},\,x\longmapsto f(x),}$

mit

${\displaystyle {}\sum _{x\in M}f(x)=1\,}$

eine (diskrete) Wahrscheinlichkeitsdichte auf ${\displaystyle {}M}$.