Measure Theory and Filtering