Niech PPPP będzie prawdopodobieństwem określonym na przestrzeni zdarzeń elementarnych Ω\OmegaΩ\Omega. Wówczas:
P(∅)=0P(\emptyset)=0P(∅)=0P(\emptyset)=0,
P(A)≤1P(A)\le 1P(A)≤1P(A)\le 1,
Jeżeli A⊂B⊂ΩA\subset B\subset\OmegaA⊂B⊂ΩA\subset B\subset\Omega, to P(A)≤P(B)P(A)\le P(B)P(A)≤P(B)P(A)\le P(B)
Dla dowolnego A⊂ΩA\subset\OmegaA⊂ΩA\subset\Omega, P(A′)=1−P(A)P(A')=1-P(A)P(A′)=1−P(A)P(A')=1-P(A)
Dla dowolnych A,B⊂ΩA,B\subset\OmegaA,B⊂ΩA,B\subset\Omega,
Dla dowolnych A1,A2,…,An⊂ΩA_1,A_2,\dots,A_n\subset \OmegaA1,A2,…,An⊂ΩA_1,A_2,\dots,A_n\subset \Omega takich że Ai∩A=∅A_i\cap A=\emptysetAi∩A=∅A_i\cap A=\emptyset dla i≠ji\neq ji=ji\neq j zachodzi:
Dla dowolnych A,B,C⊂ΩA,B,C\subset \OmegaA,B,C⊂ΩA,B,C\subset \Omega: