Theorem

characterization of the field generated by a semialgebra $\mathcal{S}$

If $\mathcal{S}$ is a semialgebra of subsets of $\Omega$ then the field generated by $\mathcal{S}$ is the collection of all finite disjoint unions of elements of $\mathcal{S}$.