Measure, topology, and compactness - Ganikhodjaev, Nasir (2017)