Lebesgue measure extension, part 2 of 4

This is the core of the proof of the Lebesgue extension theorem. This part proves that the collection of all measurable subsets is in fact a sigma-algebra.