\begin{definition}[Definition:Complete Set of Events]
Let $I$ be an indexing set.
Let $\family {A_i}_{i \mathop \in I}$ be a family of events in a probability space indexed by $I$.
$\family {A_i}_{i \mathop \in I}$ is a '''complete set of events''' {{iff}}:
:$\ds \map \Pr {\bigcup_{i \mathop \in I} A_i} = 1$
\end{definition}