dla każdego zdarzenia
— zdarzenie pewne
— zdarzenie niemożliwe (pusty podzbiór )
gdy
gdzie oznacza zdarzenie przeciwne do zdarzenia
dla dowolnych zdarzeń
dla dowolnych zdarzeń
Niech będzie skończonym zbiorem wszystkich zdarzeń elementarnych. Jeżeli wszystkie zdarzenia jednoelementowe są jednakowo prawdopodobne, to prawdopodobieństwo zdarzenia jest równe gdzie oznacza liczbę elementów zbioru , zaś — liczbę elementów zbioru .