Definition 5.3.5. Distribution Function.
Given a random variable \(X\) on a space \(R\text{,}\) a probability distribution function on \(X\) is given by a function
\begin{equation*}
F:\mathbb{R} \rightarrow \mathbb{R} \ni \displaystyle F(x)=P(X \le x).
\end{equation*}