Ein diskreter Wahrscheinlichkeitsraum ist ein Paar (, P), wobei ein endlicher oder abzählbarer Grundraum, Ereignis ist und ein Wahrscheinlichkeitsmaß, d.h. eine Funktion

mit folgenden Eigenschaften:

  1. Nichtnegativität für jedes
  2. Normiertheit
  3. -Additivität Für jede Folge paarweise disjunkter Ereignisse gilt:

Folgerungen

  1. Endliche Additivität Für paarweise disjunkter Ereignisse gilt:
  2. Komplementäre Wahrscheinlichkeit
  3. Monotonie Für gilt:
  4. Additionsgesetz
  5. -Subadditivität
  6. Ist eine Folge von paarweise disjunkten Ereignissen und , dann gilt: