Definition

general construction of probability model

1. define a probability measure on a semialgebra $\mathcal{S}$
2. first extension theorem shows there is a unique extension of the measure to the field generated by $\mathcal{S}$
3. second extension theorem shows there is a unique extension of the extended measure to $\sigma(\mathcal{S})$