Lebesgue measure extension, part 1 of 4

The video defines the Lebesgue measurable sets and states the Lebesgue extension theorem. The video also presents the first part of the proof: the fact that the collection of the Lebesgue measurable subsets is an algebra of subsets.