Sei ein Ereignis aus einem Wahrscheinlichkeitsraum mit . Weiter sei ( kann endlich oder abzählbar unendlich sein) eine Folge von paarweise disjunkten Ereignissen mit und für jedes , dann gilt: