Niech dana będzie przestrzeń zdarzeń elementarnych z określonym na niej prawdopodobieństwem . Jeżeli zdarzenia spełniają następujące warunki:
,
Dla każdego , ,
Dla dowolnych , , ,
to dla dowolnego zdarzenia o dodatnim prawdopodobieństwie zachodzi wzór: