Let be a Ring of subsets of . Let be a countably additive Set Function. Then extends to a Measure on the sigma-algebra generated by . Proof