Theorem

second measure extension

A probability measure $\mathbb{P}$ defined on a field $\mathcal{A}$ of subsets has a unique extension to a probability measure on $\sigma(\mathcal{A})$.