有限確率空間

空でない有限集合 $\Omega$（標本空間、起こりうる結果全体）と、各 $\omega\in\Omega$ に対する実数 $p(\omega)\ge0$ で、$\sum_{\omega\in\Omega}p(\omega)=1$ を満たすものの組 $(\Omega,p)$ を有限確率空間という。$\Omega$ の部分集合を事象といい、事象 $A$ の確率を

と定める（$P(\varnothing)=0$）。すべての $\omega$ で $p(\omega)=1/|\Omega|$ であるとき、これらの結果は同様に確からしいといい、$(\Omega,p)$ を一様な確率空間という。