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