Definition: Verteilungsfunktion einer diskreten Zufallsvariable

Sei ein Wahrscheinlichkeitsraum.
Sei eine diskrete Zufallsvariable.
Sei abzählbar mit .

Dann gilt für die Verteilungsfunktion von :