Endlicher Wahrscheinlichkeitsraum/Maß/Definition

Endliches Wahrscheinlichkeitsmaß

Auf einem endlichen Wahrscheinlichkeitsraum ${}(M,f)$ heißt die Abbildung

$\mu _{f}\colon {\mathfrak {P}}\,(M)\longrightarrow \mathbb {R} _{\geq 0},\,E\longmapsto \mu _{f}(E)=\sum _{x\in E}f(x),$

ein endliches Wahrscheinlichkeitsmaß.