\begin{definition}[Definition:Finite Probability Space]
A '''finite probability space''' is a discrete probability space $\left({\Omega, \Sigma, \Pr}\right)$ such that the sample space $\Omega$ is finite.
{{SUBPAGENAME}}
\end{definition}