Zdarzenie pewne to podzbiór przestrzeni zdarzeń elementarnych, zawierający wszystkie elementy tej przestrzeni.

Jeśli , to zdarzenia nazywamy rozłącznymi

Zdarzenie pewne oznaczamy symbolem .

Dla dowolnych zdarzeń i zachodzi