Mówimy, że zdarzenia A_1,A_2,\ldots,A_n\subset\Omega nazywamy zdarzeniami niezależnymi, jeżeli dla dowolnych k z nich, gdzie 2\le k\le n prawdopodobieństwo ich iloczynu jest równe iloczynowi ich prawdopodobieństw:
Niech dana będzie przestrzeń probabilistyczna \left(\Omega,P\right) oraz zdarzenia A,B\subset\Omega. Jeżeli A i B są zdarzeniami niezależnymi, to:
A i B' również są zdarzeniami niezależnymi.
A' i B' również są zdarzeniami niezależnymi.