\begin{definition}[Definition:Probability Function]
Let $\left({\Omega, \Sigma, \Pr}\right)$ be a probability space.
The probability measure $\Pr$ on $\left({\Omega, \Sigma, \Pr}\right)$ can be considered as a function on elements of $\Omega$ and $\Sigma$.
\end{definition}