47.1 Basics from Measure Theory