# Definition:Partition (Probability Theory)

## Definition

Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

A partition of $\Omega$ is a family $\family {B_i: i \in I}$ of pairwise disjoint events such that $\ds \bigcup_{i \mathop \in I} B_i = \Omega$.

## Also see

However, even though it means the same thing, it is helpful to define it separately, as here, in the more specialised context of probability theory.