Definition
- A space X is strongly measure-compact if for every nonzero σ-additive Baire measure, μ, on X there is a compact set
such that μ*(K) > 0.
Reference
- Gale, Sherry L. , Measure-compact spaces. ,[J] Topology Appl. 45, No.2, 103-118 (1992).