Definition 4.2.1.
Let \(\Omega\) be a finite set. We refer to the elements of \(\Omega\) as events. A probability distribution on \(\Omega\) is a function
\begin{equation*}
P:\Omega\mapsto \mathbb{R_{\geq 0}}
\end{equation*}
such that
\begin{equation*}
\sum_{x\in \Omega}P(x)=1 \, .
\end{equation*}
Given a finite set \(\Omega\) together with a probability distribution \(P\text{,}\) we call the pair \((\Omega,P)\) a finite probability space.
We call a subset \(A\subseteq \Omega\) an event set, and define the probability of the event set \(A\) to be
\begin{equation*}
P(A):=\sum_{x\in A}P(x) \, .
\end{equation*}
If \(P(x)=1/|\Omega|\) for all \(x\in \Omega\text{,}\) then we call \(P\) the uniform distribution.
