\begin{definition}[Definition:Equiprobability Space]
An '''equiprobability space''' is a finite probability space $\struct {\Omega, \Sigma, \Pr}$ with equiprobable outcomes.
That is, for all $\omega_i, \omega_j \in \Omega$:
:$\map \Pr {\omega_i} = \map \Pr {\omega_j}$
From Probability Measure on Equiprobable Outcomes, we have that:
:$\forall \omega \in \Omega: \map \Pr \omega = \dfrac 1 n$
:$\forall A \subseteq \Omega: \map \Pr A = \dfrac {\card A} n$
Category:Definitions/Probability Theory
\end{definition}