Definition:Partition (Probability Theory)

From ProofWiki
Jump to navigation Jump to search


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.