Definition:Complete Set of Events

Definition
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 :
 * $\ds \map \Pr {\bigcup_{i \mathop \in I} A_i} = 1$