Definition:Finite Probability Space
From ProofWiki
Definition
A finite probability space is a discrete probability space $\left({\Omega, \Sigma, \Pr}\right)$ such that the sample space $\Omega$ is finite.
