Niech Ω\Omega będzie skończoną przestrzenią zdarzeń elementarnych. Prawdopodobieństwem określonym na Ω\Omega nazywamy funkcję PP, która dowolnemu zdarzeniu A⊂ΩA\subset\Omega przyporządkowuje liczbę P(A)P(A) spełniającą warunki:
P(A)≥0P(A)\ge 0,
P(Ω)=1P(\Omega)=1,
B⊂Ω∧A∩B=∅⇒P(A∪B)=P(A)+P(B)B\subset\Omega \land A\cap B=\emptyset\Rightarrow P(A\cup B)=P(A)+P(B)
Liczbę P(A)P(A) nazywamy prawdopodobieństwem zajścia zdarzenia AA, a parę (Ω,P)\left(\Omega,P\right)nazywamy przestrzenią probabilistyczną.