Wahrscheinlichkeitsverteilung einer Zufallsvariablen. Alle die Zufallsvariable betreffenden Wahrscheinlichkeiten lassen sich mit Hilfe der Verteilungsfunktion auswerten.