Measure Theory and Filtering by