Definition:Finite Partition (Probability Theory)

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

Let $\xi$ be a partition of $\Omega$.

Then, $\xi$ said to be a finite of $\eta$ $\xi$ is finite.

That is:
 * $\xi = \set {A_1, \ldots, A_n}$

for some $A_1, \ldots, A_n \in \Sigma$.