Definition
- Let (X,S,m) be a measure space. Then m is said to be compact, if there exist a compact subfamily of S with respect to which m is inner regular. A family of sets K is said to be compact, if every subfamily of K with the finite intersection property has nonempty intersection.
Reference
- D. H. Fremlin, Weakly α-favourable measure spaces, Fundamenta Mathematicae 165 (2000) http://matwbn.icm.edu.pl/ksiazki/fm/fm165/fm16515.pdf