16.1 Basics from Measure Theory