The Lebesgue Integral: Construction and Properties — Measure Theory | MindForge