Niech P będzie prawdopodobieństwem określonym na przestrzeni zdarzeń elementarnych \Omega. Wówczas:
P(\emptyset)=0,
P(A)\le 1,
Jeżeli A\subset B\subset\Omega, to P(A)\le P(B)
Dla dowolnego A\subset\Omega, P(A')=1-P(A)
Dla dowolnych A,B\subset\Omega,
Dla dowolnych A,B\subset\Omega,
Dla dowolnych A_1,A_2,\dots,A_n\subset \Omega takich że A_i\cap A=\emptyset dla i\neq j zachodzi:
Dla dowolnych A,B,C\subset \Omega: