http://de.serlo.org/mathe/stochastik/zufallsgroessen/verteilungsfunktion
Die Verteilungsfunktion F_X einer Zufallsgröße X ordnet jeder Zahl k aus \mathbb R die Wahrscheinlichkeit zu, mit der X höchstens den Wert k annimmt.
Man schreibt:
F_X(k):=\mathrm P\left(\mathrm X\leq\mathrm k\right)