Verteilungsfunktion

Es sei $\mathbb{P}$ ein Wahrscheinlichkeitsmaß. Dann ist die dazugehörige Verteilungsfunktion $F: \mathbb{R} \rightarrow [0,1]$  definiert als